%0 Conference Paper %1 conf/lpar/DietrichWA13 %A Dietrich, Dominik %A Whiteside, Iain %A Aspinall, David %B LPAR %D 2013 %E McMillan, Kenneth L. %E Middeldorp, Aart %E Voronkov, Andrei %I Springer %K %P 776-791 %T Polar: A Framework for Proof Refactoring. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#DietrichWA13 %V 8312 %@ 978-3-642-45220-8

@inproceedings{conf/lpar/DietrichWA13, added-at = {2023-12-13T04:59:49.000+0100}, author = {Dietrich, Dominik and Whiteside, Iain and Aspinall, David}, biburl = {https://www.bibsonomy.org/bibtex/24110fd54afb31161fc89d4efd8c3f920/admin}, booktitle = {LPAR}, crossref = {conf/lpar/2013}, editor = {McMillan, Kenneth L. and Middeldorp, Aart and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-45221-5_52}, interhash = {9d16720297cad62d18782a1020f8eb24}, intrahash = {4110fd54afb31161fc89d4efd8c3f920}, isbn = {978-3-642-45220-8}, keywords = {}, pages = {776-791}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:59:49.000+0100}, title = {Polar: A Framework for Proof Refactoring.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#DietrichWA13}, volume = 8312, year = 2013 }