%0 Journal Article %1 journals/jar/Kaufmann91 %A Kaufmann, Matt %D 1991 %J J. Autom. Reason. %K dblp %N 1 %P 109-158 %T Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm. %U http://dblp.uni-trier.de/db/journals/jar/jar7.html#Kaufmann91 %V 7

@article{journals/jar/Kaufmann91, added-at = {2020-09-02T00:00:00.000+0200}, author = {Kaufmann, Matt}, biburl = {https://www.bibsonomy.org/bibtex/2f33f5ff0a73b887c42b3d3cc6ed4a628/dblp}, ee = {https://doi.org/10.1007/BF00249356}, interhash = {40c42998b4139119a0df0de2684b7224}, intrahash = {f33f5ff0a73b887c42b3d3cc6ed4a628}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {109-158}, timestamp = {2020-09-09T13:35:11.000+0200}, title = {Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar7.html#Kaufmann91}, volume = 7, year = 1991 }