Preferred extensions are partial stable models (1992)

by A C Kakas, P Mancarella
Venue:Journal of Logic Programming