%0 Conference Paper %1 conf/iclp/DyckhoffP94 %A Dyckhoff, Roy %A Pinto, Luís %B ICLP Workshop: Proof-Theoretical Extensions on Logic Programming %D 1994 %E Dyckhoff, Roy %E Eriksson, Lars-Henrik %E Momigliano, Alberto %E Ornaghi, Mario %K dblp %T Uniform Proofs and Natural Deduction. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#DyckhoffP94

@inproceedings{conf/iclp/DyckhoffP94, added-at = {2017-10-17T00:00:00.000+0200}, author = {Dyckhoff, Roy and Pinto, Luís}, biburl = {https://www.bibsonomy.org/bibtex/219444cf9234cbd631de4bd791e604622/dblp}, booktitle = {ICLP Workshop: Proof-Theoretical Extensions on Logic Programming}, crossref = {conf/iclp/1994w10}, editor = {Dyckhoff, Roy and Eriksson, Lars-Henrik and Momigliano, Alberto and Ornaghi, Mario}, interhash = {4c9223ad8b62a214af20128ff3bb52dc}, intrahash = {19444cf9234cbd631de4bd791e604622}, keywords = {dblp}, timestamp = {2017-12-08T00:27:55.000+0100}, title = {Uniform Proofs and Natural Deduction.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#DyckhoffP94}, year = 1994 }