@techreport{Elhadad93-fuf,
  author	= {Elhadad, Michael},
  year		= {1993},
  title		= {FUF: the Universal Unifier. User Manual Version 5.2},
  address	= {Beer Sheva, Israel},
  institution	= {Computer Science, Ben Gurion University of the Negev}
}