Jaspars, J. and Koller, A. 1999. A Calculus for Direct Deduction with Dominance Constraints. Proceedings of the Amsterdam Colloquium. (Dec. 1999), 145–150.