1. Bernard D., et al., “Spacecraft autonomy flight experience: The DS1 Remote Agent experiment”, in: Proceedings of the AIAA, 1999, Albuquerque, NM, 1999
2. Completeness and consistency in rule-based expert systems;Suwa;AI Magazine,1982
3. Principles and practice in verifying rule-based systems;Preece;The Knowledge Engineering Review,1992
4. Rousset M., “On the consistency of knowledge bases: the COVADIS system”, in: Proceedings of the 8th European Conference on Artificial Intelligence (ECAI'88), 1988, pp. 79–84