Terrance Swift
Incremental Tabling in Support of Knowledge Representation and Reasoning
ICLP, 2014.
@article{ICLP-J-2014-Swift, author = "Terrance Swift", doi = "10.1017/S1471068414000209", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "553--567", title = "{Incremental Tabling in Support of Knowledge Representation and Reasoning}", volume = 14, year = 2014, }