DMCA

The Alternating Fixpoint of Logic Programs with Negation (1995)

by Allen Van Gelder
Citations:242 - 3 self