@ARTICLE{MPB-SMW:JAR:2023:SGGSdpFOL,
AUTHOR = "Maria Paola Bonacina and Sarah Winkler",
TITLE = "Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover",
JOURNAL = "Journal of Automated Reasoning",
VOLUME = 67,
NUMBER = 1,
PAGES = "1--42",
MONTH = "March ",
DOI = "10.1007/s10817-022-09656-w",
NOTE = "Published online 11 January 2023",
YEAR = 2023}