@incollection{Avenhaus_2003,
    doi = {10.1007/978-3-540-45085-6_29},
    url = {https://doi.org/10.1007%2F978-3-540-45085-6_29},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {328--333},
    author = {Jürgen Avenhaus and Ulrich Kühler and Tobias Schmidt-Samoa and Claus-Peter Wirth},
    title = {How to Prove Inductive Theorems? {QuodLibet}!},
    booktitle = {Automated Deduction {\textendash} {CADE}-19}
}

@incollection{Avenhaus_2003, doi = {10.1007/978-3-540-45085-6_29}, url = {https://doi.org/10.1007%2F978-3-540-45085-6_29}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {328--333}, author = {Jürgen Avenhaus and Ulrich Kühler and Tobias Schmidt-Samoa and Claus-Peter Wirth}, title = {How to Prove Inductive Theorems? {QuodLibet}!}, booktitle = {Automated Deduction {\textendash} {CADE}-19} }