Complexity of Recursive Normal Default Logic

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. Complexity of Recursive Normal Default Logic. Fundamenta Informaticae, 32(2):139-147, 1997.

Abstract

Abstract is missing.