Frithjof Dau, Peter W. Eklund. A diagrammatic reasoning system for the description logic ::::I::::. Journal of Computer Languages, 19(5):539-573, 2008. [doi]
@article{DauE08,
title = {A diagrammatic reasoning system for the description logic ::::I::::},
author = {Frithjof Dau and Peter W. Eklund},
year = {2008},
doi = {10.1016/j.jvlc.2007.12.003},
url = {http://dx.doi.org/10.1016/j.jvlc.2007.12.003},
tags = {logic},
researchr = {https://researchr.org/publication/DauE08},
cites = {0},
citedby = {0},
journal = {Journal of Computer Languages},
volume = {19},
number = {5},
pages = {539-573},
}