Comparative semantics for flow of control in logic programming without logic (1991)

by J W de Bakker
Venue:Information and Computation