Henriksen, J. G. (1999). An Expressive Extension of TLC. BRICS Report Series, 6(26). https://doi.org/10.7146/brics.v6i26.20095