Pengujian kekonsistenan penambahan basis ilmu pengetahuan sistem pakar - Kapantow, Gene H. M., author (1990)