Ingvar Johansson. Formalizing common sense: an operator-based approach to the Tibbles-Tib problem. Synthese, 163(2):217-225, 2008. [doi]
@article{Johansson08:0,
title = {Formalizing common sense: an operator-based approach to the Tibbles-Tib problem},
author = {Ingvar Johansson},
year = {2008},
doi = {10.1007/s11229-007-9199-0},
url = {http://dx.doi.org/10.1007/s11229-007-9199-0},
tags = {rule-based, systematic-approach},
researchr = {https://researchr.org/publication/Johansson08%3A0},
cites = {0},
citedby = {0},
journal = {Synthese},
volume = {163},
number = {2},
pages = {217-225},
}