The Alternating Fixpoint of Logic Programs with Negation (1995)

by Allen Van Gelder
Citations:215 - 2 self