Efficient Implementation of the Well-founded and Stable Model Semantics (1996)

AUTHORS:

Niemelä Ilkka , Simons P.

  • BOOKTITLE:
  • PAGES:
  • 289-303