%0 Conference Paper %1 conf/lpar/BaazHLRS04 %A Baaz, Matthias %A Hetzl, Stefan %A Leitsch, Alexander %A Richter, Clemens %A Spohr, Hendrik %B LPAR %D 2004 %E Baader, Franz %E Voronkov, Andrei %I Springer %K dblp %P 481-495 %T Cut-Elimination: Experiments with CERES. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2004.html#BaazHLRS04 %V 3452 %@ 3-540-25236-3

@inproceedings{conf/lpar/BaazHLRS04, added-at = {2020-06-15T00:00:00.000+0200}, author = {Baaz, Matthias and Hetzl, Stefan and Leitsch, Alexander and Richter, Clemens and Spohr, Hendrik}, biburl = {https://www.bibsonomy.org/bibtex/2eff638739e370d906aa8e0aab3227018/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2004}, editor = {Baader, Franz and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-32275-7_32}, interhash = {2ee456bc62823349d6956a85312912f5}, intrahash = {eff638739e370d906aa8e0aab3227018}, isbn = {3-540-25236-3}, keywords = {dblp}, pages = {481-495}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T13:12:36.000+0200}, title = {Cut-Elimination: Experiments with CERES.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2004.html#BaazHLRS04}, volume = 3452, year = 2004 }