Generalized stable models: a semantics for abduction (1990)

by A Kakas, P Mancarella
Venue:in: Proc. ECAZ-90