Alexandre Rademaker, Edward Hermann Haeusler. Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ::::ALCQI:::: Reasoning. J. UCS, 16(20):3016-3042, 2010. [doi]
@article{RademakerH10,
title = {Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ::::ALCQI:::: Reasoning},
author = {Alexandre Rademaker and Edward Hermann Haeusler},
year = {2010},
url = {http://www.jucs.org/jucs_16_20/providing_a_proof_theoretical},
tags = {case study, UML},
researchr = {https://researchr.org/publication/RademakerH10},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {16},
number = {20},
pages = {3016-3042},
}