Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP.

Philipp Hanisch, Markus Krtzsch

Browse the full ICDT paper archive.