An interactive semantics of logic programming. Theory and Practice of Logic Programming (1987)

by R Bruni, U Montanari, F Rossi
Venue:Journal of the ACM (JACM