@book { TableauMethodsforPropositionalLogicandTermLogic,
    title = "Tableau Methods for Propositional Logic and Term Logic",
    author = "Tomasz {Jarmużek}",
    year = "2020",
    publisher = "Peter Lang Verlag",
    address = "Berlin, Germany",
    doi = "10.3726/b18008",
    url = "https://www.peterlang.com/document/1117751"
}