Extending and implementing the stable model semantics (0)

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