Correctness of inconsistent theories with notions of feasibility (1985)

by A Dragalin
Venue:In: Lecture Notes in Computer Science