Extending and Implementing the Stable Model Semantics (2002)

by P Simons, N Niemelä, T Soininen
Venue:Artificial Intelligence