@doctoralThesis{Doczkal_2015,
title={A machine-checked constructive metatheory of computation tree logic},
author={Doczkal, Christian},
doi={http://dx.doi.org/10.22028/D291-26649},
year={2015}
}