@workingPaper{KampWache_1996,
title={CTL : a description logic with expressive concrete domains},
author={Kamp, Gerd and Wache, Holger},
doi={http://dx.doi.org/10.22028/D291-25061},
year={1996}
}