Jaspars, J.; Koller, A. A Calculus for Direct Deduction With Dominance Constraints. Proceedings of the AC 1999, 145-150.