DMCA

Extending and Implementing the Stable Model Semantics (2002)

by Patrik Simons , Ilkka Niemelä , Timo Soininen
Citations:395 - 9 self