@article{Norrish_09, title = {Rewriting Conversions Implemented with Continuations}, month = oct, keywords = {interactive theorem-proving, rewriting, continuations, functional programming}, journal = {Journal of Automated Reasoning}, volume = {43}, number = {3}, author = {Norrish, Michael}, year = {2009}, pages = {305--336}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/1481.pdf} }