![](/img/cover-not-exists.png)
The Qu-Prolog unification algorithm: formalisation and correctness
Peter Nickolas, Peter J. RobinsonVolume:
169
Year:
1996
Language:
english
Pages:
32
DOI:
10.1016/s0304-3975(96)00115-6
File:
PDF, 2.38 MB
english, 1996