%0 Journal Article %1 journals/jar/GouwBR14 %A de Gouw, Stijn %A de Boer, Frank S. %A Rot, Jurriaan %D 2014 %J J. Autom. Reason. %K dblp %N 2 %P 129-139 %T Proof Pearl: The KeY to Correct and Stable Sorting. %U http://dblp.uni-trier.de/db/journals/jar/jar53.html#GouwBR14 %V 53

@article{journals/jar/GouwBR14, added-at = {2020-09-02T00:00:00.000+0200}, author = {de Gouw, Stijn and de Boer, Frank S. and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/2af3db2f6f616772c9df5c772a8b1c29b/dblp}, ee = {https://doi.org/10.1007/s10817-013-9300-y}, interhash = {7dad8ec75746c8a380f8a5140735c044}, intrahash = {af3db2f6f616772c9df5c772a8b1c29b}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {129-139}, timestamp = {2020-09-09T13:35:24.000+0200}, title = {Proof Pearl: The KeY to Correct and Stable Sorting.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar53.html#GouwBR14}, volume = 53, year = 2014 }