Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143) - Comon, H.; Ganzinger, H.; Kirchner, C.