%0 Journal Article %1 journals/corr/abs-cs-0601042 %A Benzmüller, Christoph %A Harrison, John %A Schürmann, Carsten %D 2006 %J CoRR %K dblp %T LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) %U http://dblp.uni-trier.de/db/journals/corr/corr0601.html#abs-cs-0601042 %V abs/cs/0601042

@article{journals/corr/abs-cs-0601042, added-at = {2019-09-05T00:00:00.000+0200}, author = {Benzmüller, Christoph and Harrison, John and Schürmann, Carsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f81002dcf0f019179a30eafb320052d8/dblp}, ee = {http://arxiv.org/abs/cs/0601042}, interhash = {5531ab3940a3504ea0d8e0252a678e50}, intrahash = {f81002dcf0f019179a30eafb320052d8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:26:12.000+0200}, title = {LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0601.html#abs-cs-0601042}, volume = {abs/cs/0601042}, year = 2006 }