Bounded quantifiers have interval models (1988)

by Simone Martini
Venue:In Proceedings of the ACM Conference on Lisp and Functional Programming