%0 Journal Article %1 journals/jar/DavisM15 %A Davis, Jared %A Myreen, Magnus O. %D 2015 %J J. Autom. Reason. %K dblp %N 2 %P 117-183 %T The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it). %U http://dblp.uni-trier.de/db/journals/jar/jar55.html#DavisM15 %V 55

@article{journals/jar/DavisM15, added-at = {2020-09-02T00:00:00.000+0200}, author = {Davis, Jared and Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/2473647e25ebf9cd25280ee79439a86e2/dblp}, ee = {https://doi.org/10.1007/s10817-015-9324-6}, interhash = {6c86818cb02f899755fdd597c8b3a3d7}, intrahash = {473647e25ebf9cd25280ee79439a86e2}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {117-183}, timestamp = {2020-09-09T13:35:37.000+0200}, title = {The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it).}, url = {http://dblp.uni-trier.de/db/journals/jar/jar55.html#DavisM15}, volume = 55, year = 2015 }