Revised Stable Models - A Semantics for Logic Programs.

Lus Moniz Pereira, Alexandre Miguel Pinto

Browse the full EPIA paper archive.