Or-Parallel Execution Models of Prolog (1987)

by David H D Warren
Venue:In TAPSOFT'87, The 1987 International Joint Conference on Theory and Practice of Software Development