Jia-Huai You Xianchang Wang Li-Yan Yuan Disjunctive Logic Programming as Constrained Inferences. 361-375 1997 ICLP db/conf/iclp/iclp97.html#YouWY97