Constraints and Restricted Quantifiers (Abstract)

@inproceedings{pub2530,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

al., Comon et
},
    title = {Constraints and Restricted Quantifiers (Abstract)},
    booktitle = {Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, IBFI Dagstuhl},
    series = {Dagstuhl Seminar-Reports},
    year = {1991},
    volume = {24},
    address = {IBFI Dagstuhl}
}