Logic Continuations (1986)

by C T Haynes
Venue:In: Proceedings of the Third International Conference on Logic Programming