Extending and Implementing the Stable Model Semantics (2002)

by Patrik Simons , Ilkka Niemelä , Timo Soininen
Citations:311 - 5 self