DMCA

The Alternating Fixpoint of Logic Programs with Negation (1995)

by Allen Van Gelder
Citations:244 - 3 self