Jaspars, J. and Koller, A. (1999) “A Calculus for Direct Deduction with Dominance Constraints”, Proceedings of the Amsterdam Colloquium, pp. 145–150. Available at: https://platform.openjournals.nl/PAC/article/view/23407 (Accessed: 5 December 2025).