@InProceedings{compsac05,
  AUTHOR         = {Tony Abou-Assaleh, Nick Cercone, and Vlado Keselj},
  TITLE          = {A Probabilistic Evaluation Function for Relaxed Unification},
  BOOKTITLE      = {The 29th Annual International Computer Software and Applications Conference              (IEEE COMPSAC~2005)},
  YEAR           = {2005},
  MONTH          = {July}
  ADDRESS        = {Edinburgh, Scotland},
}