An interactive semantics of logic programming (0)

by R Bruni, U Montanari, F Rossi
Venue:TPLP