Logic semantics for a class of committed-choice programs (1987)

by M J Maher
Venue:International Conference on Logic Programming