Making control and data flow in logic programs explicit (1984)

by G Smolka
Venue:In Conference Record of the ACM Symposium on LISP and Functional Programming