\batchmode
\documentstyle[epsf,/home/darwiche/latex/adnan-aaai,/home/darwiche/latex/jair,twoside,/home/darwiche/latex/theapa,11pt]{article}
\makeatletter



\jairheading{6}{1997}{147-176}{6/96}{5/97}
\ShortHeadings{A Practical Paradigm for Implementing Belief-Network Inference}
{Darwiche \& Provan}
\firstpageno{147}

\def\eq{\!\!=\!\!}

\def\E{{\bf E}}
\def\Q{{\bf Q}}


\def\qn{n}
\def\esn(#1,#2){{\qn(#1,#2)}}

\def\qdq{{\cal Q}}
\def\dag{{\cal D}}
\def\evars{{\cal V}}
\def\qvars{{\cal Z}}
\def\valf{{\cal I}}
\def\unk{\diamond}
\def\qdevd{{\cal E}}
\def\qneval{{\cal M}_\qdevd}
\def\qdeval{{\cal M}_\qdevd}
\def\qdpr{{Qnode}}

\def\qd{(\evars,\unk,\valf,\dag,\qvars)}

\def\on{{\it ON}}
\def\off{{\it OFF}}

\def\pr{{\it Pr}}
\def\epr{{\it Pr^\prime}}
\def\k{\kappa}
\def\ek{\kappa^\prime}

\def\X{{\bf X}}
\def\Y{{\bf Y}}
\def\Z{{\bf Z}}
\def\x{{\bf x}}
\def\y{{\bf y}}
\def\z{{\bf z}}

\def\a{{\bf a}}
\def\A{{\bf A}}
\def\b{{\bf b}}
\def\B{{\bf B}}
\def\c{{\bf c}}
\def\C{{\bf C}}

\def\false{{\it false}}
\def\true{{\it true}}

\def\definedas{=}
\def\definedas{=_{\it def}}

\def\u{{\bf u}}

\def\evd{{\bf e}}

\def\arc(#1,#2){#1 \rightarrow #2}

\def\cnets{{\sc CNETS}}
\def\bel{{\it BEL}}

\def\pr{{\it Pr}}



\def\q{Q-DAG }
\def\m{{\qdeval}}
\def\o{\odot}
\def\ot{\otimes}
\def\t{\times}



\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\textheight 50cm
\begin{document}
\pagestyle{empty}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\appendix
\stepcounter{section}
{\newpage\clearpage\samepage
\begin{equation}\qneval(\bigotimes_X \qn(\pr_X) \otimes \qn(\lambda_X))  = 
\prod_X \pr_X \lambda_X
\label{eq:proof}
\end{equation}}\hbox{}\vfil

\stepcounter{section}

\clearpage
\end{document}
