@incollection{Giese_2001,
    doi = {10.1007/3-540-45744-5_46},
    url = {https://doi.org/10.1007%2F3-540-45744-5_46},
    year = {2001},
    publisher = {Springer Berlin Heidelberg},
    pages = {545--560},
    author = {Martin Giese},
    title = {Incremental Closure of Free Variable Tableaux},
    booktitle = {Automated Reasoning}
}

@incollection{Giese_2001, doi = {10.1007/3-540-45744-5_46}, url = {https://doi.org/10.1007%2F3-540-45744-5_46}, year = {2001}, publisher = {Springer Berlin Heidelberg}, pages = {545--560}, author = {Martin Giese}, title = {Incremental Closure of Free Variable Tableaux}, booktitle = {Automated Reasoning} }