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

by R Bruni, U Montanari, F Rossi