1. H. Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge, MA, 1991.
2. LNAI 418;C. Beierle,1990
3. C. Beierle and E. Börger. A WAM extension for type-constraint logic programming: Specification and correctness proof. IWBS Report 200, IBM Germany, Scientific Center, Inst. for Knowledge Based Systems, Stuttgart, 1991.
4. C. Beierle, G. Meyer, and H. Semle. Extending the Warren Abstract Machine to polymorphic order-sorted resolution. In V. Saraswat and K. Ueda, editors, Logic Programing: Proceedings of the 1991 International Symposium, pages 272–286, MIT Press, Cambridge, MA, 1991.
5. LNCS 440;E. Börger,1990