1. Evaluation in knowledge engineering classifying, comparative and metric criteria;LONSO,1990
2. Benchmarks: an objective metric for knowledge engineers;ALONSO,1992
3. Holy Bible,1978
4. Una Interpretación Algebraica de la Verificación de Sistemas Basados en el Conocimiento;ANTONIO,1994
5. SYCOJET and SACCO, two tools for verifying expert systems;AYEL;International Journal of Expert Systems,1993