First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).

Amelia Harrison, Yuliya Lierler

Browse the full IJCAI paper archive.