The following pages link to The Qu-Prolog unification algorithm: formalisation and correctness (Q1349886):
Displaying 2 items.