Author:
Publication: Artificial Intelligence
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Algorithms for computing strategies in two-player simultaneous move games