1. Arro, H., Barklund, J. and Bevemyr, J., Parallel Bounded Quantifications-Preliminary Results, to appear in ACM SIGPLAN Notices, 1993.
2. Barklund, J. and Millroth, H., Providing Concurrency and Iteration in Logic Programming through Bounded Quantifications, in: H. Tanaka (ed.), Proc. Intl. Conf. on Fifth Generation Computer Systems 1992, Ohmsha, Tokyo, 1992.
3. Barklund, J. and Bevemyr, J., Prolog with Arrays and Bounded Quantifications, in: A. Voronkov (ed.), Proc. 4th Intl. Conf. on Logic Programming and Automated Reasoning, Springer-Verlag, Berlin, 1993.
4. Bevemyr, J., The Luther WAM Emulator, UPMAIL Technical Report No. 72, Computing Science Dept., Uppsala Univ., 1992.
5. Bevemyr, J., Lindgren, T. and Millroth, H., Reform Prolog: The Language and its Implementation, to be presented at the International Conference on Logic Programming, 1993.