Index Sets for Finite Normal Predicate Logic Programs with Function Symbols.

Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel

Browse the full LFCS paper archive.