%0 Journal Article %1 journals/jar/FeltyMP15 %A Felty, Amy P. %A Momigliano, Alberto %A Pientka, Brigitte %D 2015 %J J. Autom. Reason. %K dblp %N 4 %P 307-372 %T The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. %U http://dblp.uni-trier.de/db/journals/jar/jar55.html#FeltyMP15 %V 55

@article{journals/jar/FeltyMP15, added-at = {2020-09-02T00:00:00.000+0200}, author = {Felty, Amy P. and Momigliano, Alberto and Pientka, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/29f4f1ab954628e564460675a4a62b562/dblp}, ee = {https://doi.org/10.1007/s10817-015-9327-3}, interhash = {eb60df25f8b1fabf0782e6ef0bfdbb6d}, intrahash = {9f4f1ab954628e564460675a4a62b562}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {307-372}, timestamp = {2020-09-09T13:35:24.000+0200}, title = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar55.html#FeltyMP15}, volume = 55, year = 2015 }