Parallel Bounded Quantifiers - Preliminary Results. - Henrik Arro; Jonas Barklund; Johan Bevemyr (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Parallel Bounded Quantification - Preliminary Results. - Henrik Arro; Jonas Barklund; Johan Bevemyr (ACM SIGPLAN Notices, 1993)