The Alternating Fixpoint of Logic Programs with Negation (1995)

by Allen Van Gelder
Citations:208 - 2 self