First-order modular logic programs and their conservative extensions

Amelia Harrison, Yuliya Lierler. First-order modular logic programs and their conservative extensions. TPLP, 16(5-6):755-770, 2016. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: