Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA (1997)

by Stefan Brass , Jürgen Dix
Venue:Journal of Automated Reasoning
Citations:31 - 9 self