Paper Info
Title
Polar: A Framework for Proof Refactoring.
Year
DOI
Venue
2013
10.1007/978-3-642-45221-5_52
LPAR
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
14
3
Name
Order
Citations
PageRank
Dominik Dietrich100.68
Iain Whiteside2304.32
David Aspinall3141190.63