Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.

Spencer Killen, Jia-Huai You

Browse the full ICLP paper archive.