On the Computational Complexity of Prolog Programs

Alexander Ja. Dikovsky. On the Computational Complexity of Prolog Programs. Theoretical Computer Science, 119(1):63-102, 1993.

Abstract

Abstract is missing.