Jaspars J, Koller A. A Calculus for Direct Deduction with Dominance Constraints. Proceedings of the AC [Internet]. 1999 Dec. 1 [cited 2025 Dec. 5];:145-50. Available from: https://platform.openjournals.nl/PAC/article/view/23407