Revised Stable Models – a Semantics for Logic Programs

Authors

Luís Moniz Pereira, Carlos Bento, A. Cardoso, Alexandre Pinto, G. Dias,