DMCA

Extending and Implementing the Stable Model Semantics (2002)

by Patrik Simons , Ilkka Niemelä , Timo Soininen
Citations:390 - 8 self