%0 Journal Article %1 journals/jolli/AmatiAP94 %A Amati, Gianni %A Aiello, Luigia Carlucci %A Pirri, Fiora %D 1994 %J J. Log. Lang. Inf. %K dblp %N 4 %P 303-326 %T Defaults as restrictions on classical Hilbert-style proofs. %U http://dblp.uni-trier.de/db/journals/jolli/jolli3.html#AmatiAP94 %V 3

@article{journals/jolli/AmatiAP94, added-at = {2020-09-17T00:00:00.000+0200}, author = {Amati, Gianni and Aiello, Luigia Carlucci and Pirri, Fiora}, biburl = {https://www.bibsonomy.org/bibtex/2c50291281fb533ac45297a7243a2d970/dblp}, ee = {https://doi.org/10.1007/BF01160020}, interhash = {fe03a75708b467244a69f995824a3f70}, intrahash = {c50291281fb533ac45297a7243a2d970}, journal = {J. Log. Lang. Inf.}, keywords = {dblp}, number = 4, pages = {303-326}, timestamp = {2020-09-18T11:45:25.000+0200}, title = {Defaults as restrictions on classical Hilbert-style proofs.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli3.html#AmatiAP94}, volume = 3, year = 1994 }