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