IJCSLP 1992 Workshop on Structural Complexity and Recursion-theoretic methods in Logic-Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics