@article{Tourret2022,
TITLE = {A Posthumous Contribution by {Larry Wos}: {E}xcerpts from an Unpublished Column},
AUTHOR = {Tourret, Sophie and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-022-09617-3},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2022},
DATE = {2022},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {66},
PAGES = {575--584},
}