Jaspars, Jan, and Alexander Koller. 1999. “A Calculus for Direct Deduction With Dominance Constraints”. Proceedings of the Amsterdam Colloquium, December, 145-50. https://platform.openjournals.nl/PAC/article/view/23407.