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]

Bibliographies