Login / Signup

First-Order Encodings for Modular Nonmonotonic Datalog Programs.

Minh Dao-TranThomas EiterMichael FinkThomas Krennwallner
Published in: Datalog (2010)
Keyphrases