Computational complexity and constraint logic programming languages
scientific article; zbMATH DE number 1005842
scientific article