Skip to content

The Alternating Fixpoint of Logic Programs with Negation.

Allen Van Gelder

VenueA*PODS
Year1989
ProceedingsPODS

Browse the full PODS paper archive.