Logic continuations (1987)

by Christopher T Haynes
Venue:LISP Pointers