1. Cadiag: Approaches to Computer-Assisted Medical Diagnosis;Adlassnig;Comp. Biol. Med.,1985
2. On the safe termination of Prolog programs;Apt,1989
3. Automatisches Beweisen in Logiksystemen, in denen Widersprüche behandelt werden können;Baaz,1987
4. A computer-assisted medical diagnostic consultation service;Bankowitz;Annals Internal Med.,1989
5. CONSDED: Medical knowledge base consistency checking;Barachini,1987