Thomas Eiter Data Integration and Answer Set Programming. 13-25 2005 conf/lpnmr/2005 LPNMR http://dx.doi.org/10.1007/11546207_2 db/conf/lpnmr/lpnmr2005.html#Eiter05