Correctness of inconsistent theories with notions of feasibility (1985)

by A Dragalin
Venue:In LNCS