1. Baader, F. and Hanschke, Ph.: 1991, A scheme for integrating concrete domains into concept languages, Proceedings of the 12th IJCAI, Sydney.
2. Buchheit, M., Klein, R. and Nutt, W.: 1993, Constructive Problem Solving: a model construction approach towards configuration, DFKI Report, Saarbrücken, to appear.
3. Bowen, J. and Bahler, D.: 1991, Full first-order logic in knowledge representation — a constraint-based approach, TR-01-29, North Carolina State University, Raleigh, USA.
4. Bowen, J. and Bahler, D.: 1993, A constraint based approach to supporting human negotiation in concurrent engineering, in Gero, J.S. and Sudweeks, F. (eds.) Preprints Formal Design Methods for CAD, University of Sydney and IFIP, Sydney, pp. 229–246.
5. Cunis, R. et al: 1991, Das PLAKON Buch, Springer Informatik Fachberichte, Berlin, Germany (in German).