Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri. Defaults as restrictions on classical Hilbert-style proofs. Journal of Logic, Language and Information, 3(4):303-326, 1994.
@article{AmatiAP94,
title = {Defaults as restrictions on classical Hilbert-style proofs},
author = {Gianni Amati and Luigia Carlucci Aiello and Fiora Pirri},
year = {1994},
researchr = {https://researchr.org/publication/AmatiAP94},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {3},
number = {4},
pages = {303-326},
}