An algorithm to revise beliefs of a nonmonotonic multiple inheritance reasoner based on WINs C.T.I. Technical Report TR 93.09.34 - Βουτσινάς, Βασίλειος; Παυλίδης, Γεώργιος (Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών, 1993)