Defaults as restrictions on classical Hilbert-style proofs (1994)

by G Amati, L C Aiello, F Pirri
Venue:Journal of Logic, Language and Information