Henrik Arro, Jonas Barklund, Johan Bevemyr. Parallel Bounded Quantifiers - Preliminary Results. In JICSLP. 1992.
@inproceedings{ArroBB92, title = {Parallel Bounded Quantifiers - Preliminary Results}, author = {Henrik Arro and Jonas Barklund and Johan Bevemyr}, year = {1992}, researchr = {https://researchr.org/publication/ArroBB92}, cites = {0}, citedby = {0}, booktitle = {JICSLP}, }