@MISC{mitacs06,
  AUTHOR         = {Tony Abou-Assaleh, Vlado Keselj, and Nick Cercone},
  TITLE          = {Probabilistic Inference in First-Order Logic Using Relaxed Unification},
  ADDRESS        = {York University, Toronto, ON},
}