Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. First-Order Encodings for Modular Nonmonotonic Datalog Programs. In Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers, editors, Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Volume 6702 of Lecture Notes in Computer Science, pages 59-77, Springer, 2010. [doi]
Abstract is missing.