\bibitem{mitacs06} Tony Abou-Assaleh, Vlado Keselj, and Nick Cercone. \newblock Probabilistic Inference in First-Order Logic Using Relaxed Unification. CAIMS-MITACS 2006 Joint Annual Conference, York University, Toronto, ON Poster presentation; Tony awarded 3rd prize.