Fangzhen Lin Jia-Huai You Abductive Logic Programming by Nonground Rewrite Systems. 480-485 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#LinY08