The Alternating Fixpoint of Logic Programs With Negation

doi 10.1145/73721.73722
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press