DMCA

Extending and Implementing the Stable Model Semantics (2002)

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