M.: REVISE: Logic programming and diagnosis (1997)

by C V Damásio, L M Pereira, Schroeder
Venue:LNCS