Incremental Tabling for Query-Driven Propagation of Logic Program Updates

Ari Saptawijaya, Ken McMillan, Luís Moniz Pereira, Aart Middeldorp, Andrei Voronkov,

URL	http://link.springer.com/chapter/10.1007/978-3-642-45221-5_46
Publisher	Springer
Series	LNCS
Volume	8312
ISBN	978-3-642-45220-8
Address	http://link.springer.com/book/10.1007%2F978-3-642-45221-5
URL	http://link.springer.com/chapter/10.1007/978-3-642-45221-5_46
Publisher	Springer
Series	LNCS
Volume	8312
ISBN	978-3-642-45220-8
Address	http://link.springer.com/book/10.1007%2F978-3-642-45221-5

Publication