Jaspars, J. and Koller, A. (1999) “A Calculus for Direct Deduction with Dominance Constraints”, Proceedings of the Amsterdam Colloquium, pp. 145–150. doi:10.53437/amt2yf87.