Amelia Harrison

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