by Daniel Gorín and Lutz Schröder
Reference:
Daniel Gorín and Lutz Schröder: Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics, In Rajeev Goré, Barteld Kooi, Agi Kurucz, eds.: Proc. Advances in Modal Logic, AiML 2014, pp. 254–273, College Publications, 2014.
Bibtex Entry:
@InProceedings{GorinSchroder14,
author = {Daniel Gor{\'\i}n and Lutz Schr{\"o}der},
title = {Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics},
booktitle = {Proc. Advances in Modal Logic, AiML 2014},
year = {2014},
editor = {Rajeev Gor{\'e} and Barteld Kooi and Agi Kurucz},
publisher = {College Publications},
pages = {254-273},
url = {http://www.aiml.net/volumes/volume10/Gorin-Schroeder.pdf},
}