1. Bry, F; Decker, H; Manthey, R. “A Uniform Approach to Constraint Satisfaction and Constraint Satisfiabilityin Deductive Databases”, in J, Schmidt et al. (Eds.): Proc. EDBT, pp.488–505, Springer LNCS 303, 1988
2. Bubenko, J. A. “Information System Methodologies — A research Review”, in Olle T. W., Sol H. G., Verrijn-Stuart A. A. (Eds.) Information Sytems Design Methodologies: Improving the Practice, pp. 289–318, North Holland, 1986.
3. Baralis, E.; Ceri, S.; Paraboschi, S. and Run-time Analysis of Active Behaviors”, Internal Report of the Politecnico di Milano, 1996.
4. Ceri, S.; Fraternali, P. “Designing Applications with Objects and Rules: the IDEA Methodology”, International Series on Database Systems and Applications, Addison-Wesley Longman, 1997.
5. Casamayor, J. C.; Decker, H: Marques F. “A mechanism for verification of knowledge base schema specification”, in Meseguer P. (Ed.) Proc. European Symp. Validation and Verification of KBSystems, pp. 103–155, 1993