Login / Signup

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees.

K. Tuncay TekleYanhong A. Liu
Published in: ICLP Technical Communications (2019)
Keyphrases