@incollection{Benzm_ller_1998,
    doi = {10.1007/bfb0054248},
    url = {https://doi.org/10.1007%2Fbfb0054248},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {56--71},
    author = {Christoph Benzmüller and Michael Kohlhase},
    title = {Extensional higher-order resolution},
    booktitle = {Automated Deduction - {CADE}-15}
}

@incollection{Benzm_ller_1998, doi = {10.1007/bfb0054248}, url = {https://doi.org/10.1007%2Fbfb0054248}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {56--71}, author = {Christoph Benzmüller and Michael Kohlhase}, title = {Extensional higher-order resolution}, booktitle = {Automated Deduction - {CADE}-15} }