DMCA

Extending and Implementing the Stable Model Semantics (2002)

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