First-order modular logic programs and their conservative extensions.

Saved in:

Bibliographic Details
Title:	First-order modular logic programs and their conservative extensions.
Authors:	HARRISON, AMELIA¹, LIERLER, YULIYA², Carro, Manuel, King, Andy
Source:	Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p755-770. 16p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068416000430