@ARTICLE{Ratschan2004b,
AUTHOR = {Ratschan, Stefan},
TITLE = {Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers},
JOURNAL = {ACM Transactions on Computational Logic},
PUBLISHER = {ACM},
YEAR = {2004},
NUMBER = {2},
VOLUME = {5},
PAGES = {264--281},
}
Entry last modified by Christine Kiesel, 01/28/2008