An interactive semantics of logic programming. Theory Pract (0)

by R Bruni, U Montanari, F Rossi
Venue:Log. Program