Locally Determined Logic Programs and Recursive Stable Models

Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. Locally Determined Logic Programs and Recursive Stable Models. Annals of Mathematics and Artificial Intelligence, 40(3-4):225-262, 2004. [doi]

Abstract

Abstract is missing.