%0 Conference Paper %1 conf/elp/Beeson89 %A Beeson, Michael %B ELP %D 1989 %E Schroeder-Heister, Peter %I Springer %K dblp %P 101-156 %T Some Applications of Gentzen's Proof Theory in Automated Deduction. %U http://dblp.uni-trier.de/db/conf/elp/elp89.html#Beeson89 %V 475 %@ 3-540-53590-X

@inproceedings{conf/elp/Beeson89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Beeson, Michael}, biburl = {https://www.bibsonomy.org/bibtex/25966a66373732d4557170654a34efa2a/dblp}, booktitle = {ELP}, crossref = {conf/elp/1989}, editor = {Schroeder-Heister, Peter}, ee = {https://doi.org/10.1007/BFb0038693}, interhash = {e7ab689daace626c12f9baf4d98e9f5f}, intrahash = {5966a66373732d4557170654a34efa2a}, isbn = {3-540-53590-X}, keywords = {dblp}, pages = {101-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:30:25.000+0200}, title = {Some Applications of Gentzen's Proof Theory in Automated Deduction.}, url = {http://dblp.uni-trier.de/db/conf/elp/elp89.html#Beeson89}, volume = 475, year = 1989 }