An equality predicate for Prolog /
Narboni, G. A.
Turing Institute (Glasgow, Scotland)
Glasgow : Turing Institute,
c1987.
Includes bibliography.
Prolog (Computer program language)