\bibitem{compsac05}
Tony Abou-Assaleh, Nick Cercone, and Vlado Keselj.
\newblock A Probabilistic Evaluation Function for Relaxed Unification.
\newblock In {\em The 29th Annual International Computer Software and
Applications Conference (IEEE COMPSAC~2005)\/.}
Edinburgh, Scotland, July 2005.