%0 Conference Paper %1 conf/cade/BentkampBTVW19 %A Bentkamp, Alexander %A Blanchette, Jasmin %A Tourret, Sophie %A Vukmirovic, Petar %A Waldmann, Uwe %B CADE %D 2019 %E Fontaine, Pascal %I Springer %K dblp %P 55-73 %T Superposition with Lambdas. %U http://dblp.uni-trier.de/db/conf/cade/cade2019.html#BentkampBTVW19 %V 11716 %@ 978-3-030-29436-6

@inproceedings{conf/cade/BentkampBTVW19, added-at = {2019-08-21T00:00:00.000+0200}, author = {Bentkamp, Alexander and Blanchette, Jasmin and Tourret, Sophie and Vukmirovic, Petar and Waldmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2d18fac831dda5bf5655f3027ffd59d92/dblp}, booktitle = {CADE}, crossref = {conf/cade/2019}, editor = {Fontaine, Pascal}, ee = {https://doi.org/10.1007/978-3-030-29436-6_4}, interhash = {6551dafce865bd8fd0846b9c092f2c37}, intrahash = {d18fac831dda5bf5655f3027ffd59d92}, isbn = {978-3-030-29436-6}, keywords = {dblp}, pages = {55-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-22T11:41:32.000+0200}, title = {Superposition with Lambdas.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2019.html#BentkampBTVW19}, volume = 11716, year = 2019 }