Generalized stable models: a semantics for abduction (1990)

by A Kakas, P Mancarella
Venue:In Proc. of ECAI-90