| |
| 1993 | ||
|---|---|---|
| 2 | Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantification - Preliminary Results. SIGPLAN Notices 28(8): 117-124 (1993) | |
| 1992 | ||
| 1 | Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantifiers - Preliminary Results. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 | |
| 1 | Jonas Barklund | [1] [2] |
| 2 | Johan Bevemyr | [1] [2] |