The Qu-Prolog unification algorithm: formalisation and correctness (1996)

by P Nickolas, P J Robinson
Venue:Theoretical Computer Science