Efficient Implementation of the Well-founded and Stable Model Semantics.

Ilkka Niemel, Patrik Simons

Browse the full ICLP paper archive.