@article{Benzmüller2015,
author = {Benzmüller, Christoph and Claus, Maximilian and Sultana, Nik},
year = {2015},
language = {eng},
copyright = {http://about.eptcs.org/},
title = {Systematic Verification of the Modal Logic Cube in Isabelle/HOL},
url = "http://dx.doi.org/10.17169/refubium-19127",
}