@workingPaper{Schild_1993,
title={Terminological cycles and the ropositional μ-calculus},
author={Schild, Klaus},
doi={http://dx.doi.org/10.22028/D291-25004},
year={1993}
}