Computing Preferred Answer Sets in Answer Set Programming.

Toshiko Wakaki Katsumi Inoue Chiaki Sakama Katsumi Nitta Computing Preferred Answer Sets in Answer Set Programming. 259-273 http://dx.doi.org/10.1007/978-3-540-39813-4_18 2003 conf/lpar/2003 LPAR db/conf/lpar/lpar2003.html#WakakiISN03