Jaspars, Jan, and Alexander Koller. 1999. “A Calculus for Direct Deduction With Dominance Constraints”. Proceedings of the Amsterdam Colloquium, December, 145-50. https://doi.org/10.53437/amt2yf87.