Werner Nutt Algorithms for constraints in deduction and knowledge representation. I-XVI, 1-193 Universität Saarbrücken 1993