Martin Slota, João Leite, Terrance Swift
Splitting and updating hybrid knowledge bases
ICLP, 2011.
@article{ICLP-J-2011-SlotaLS, author = "Martin Slota and João Leite and Terrance Swift", doi = "10.1017/S1471068411000317", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "801--819", title = "{Splitting and updating hybrid knowledge bases}", volume = 11, year = 2011, }