Generalized Stable Models: A semantics for abduction (1990)

by A C Kakas, P Mancarella
Venue:In ECAI