1. Ali, K. A. M. and Karlsson, R.: The muse or-parallel Prolog model and its performance, in S. Debray and M. Hermenegildo (eds),Proc. North American Conference on Logic Programming, 1990, pp. 757?776.
2. Astrachan, O. L.: Investigations in model elimination based theorem proving, PhD thesis, Duke University, 1992.
3. Astrachan, O. L. and Loveland, D. W.: METEORs: High performance theorem provers using model elimination, in R. S. Boyer (ed.),Automated Reasoning: Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991.
4. Astrachan, O. L. and Sickel, M. E.: Caching and lemmaizing in model elimination theorem provers. Technical Report 513, SRI International, Menlo Park, Ca., 1991.
5. Astrachan, O. L. and Stickel, M. E.: Caching and lemmaizing in model elimination theorem provers, in Deepak Kapur (ed.),Proc. 11th International Conference on Automated Deduction, Springer-Verlag, Berlin, 1992.