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

by M J Maher
Venue:International Conference on Logic Programming,