Jaspars, J., & Koller, A. (1999). A Calculus for Direct Deduction with Dominance Constraints. Proceedings of the Amsterdam Colloquium, 145-150. https://platform.openjournals.nl/PAC/article/view/23407