1. H.-J. Appelrath, A. B. Cremers, and O. Herzog. The Eureka Project PROTOS. Stuttgart, 1990.
2. C. Beierle. An overview on planning applications in PROTOS-L. In R. Vichnevetsky and J. H. Miller, editors, Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991.
3. LNAI 418;C. Beierle,1990
4. C. Beierle, S. Böttcher, and G. Meyer. Draft Report of the Logic Programming Language PROTOS-L. IWBS Report 175, IBM Germany, Scientific Center, Inst. for Knowledge Based Systems, Stuttgart, 1991.
5. 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 Programming: Proceedings of the 1991 International Symposium, pages 272–286, MIT Press, Cambridge, MA, 1991.