Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.

Jia-Huai You, Li-Yan Yuan, Randy Goebel

Browse the full ICLP paper archive.