Piero A. Bonatti Enrico Pontelli Tran Cao Son Credulous Resolution for Answer Set Programming. 418-423 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#BonattiPS08