The Alternating Fixpoint of Logic Programs with Negation (1995)

by Allen Van Gelder
Citations:209 - 2 self