BibTeX
@article{Bentkamp21, TITLE = {Superposition with Lambdas}, AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin and Tourret, Sophie and Vukmirovi{\'c}, Petar and Waldmann, Uwe}, LANGUAGE = {eng}, ISSN = {0168-7433}, DOI = {10.1007/s10817-021-09595-y}, PUBLISHER = {Springer}, ADDRESS = {New York, NY}, YEAR = {2021}, MARGINALMARK = {$\bullet$}, DATE = {2021}, JOURNAL = {Journal of Automated Reasoning}, VOLUME = {65}, PAGES = {893--940}, }
Endnote
%0 Journal Article %A Bentkamp, Alexander %A Blanchette, Jasmin %A Tourret, Sophie %A Vukmirović, Petar %A Waldmann, Uwe %+ External Organizations Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society External Organizations Automation of Logic, MPI for Informatics, Max Planck Society %T Superposition with Lambdas : %G eng %U http://hdl.handle.net/21.11116/0000-0009-2B35-C %R 10.1007/s10817-021-09595-y %7 2021 %D 2021 %J Journal of Automated Reasoning %V 65 %& 893 %P 893 - 940 %I Springer %C New York, NY %@ false