JASPARS, Jan; KOLLER, Alexander. A Calculus for Direct Deduction with Dominance Constraints. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 145–150, 1999. Disponível em: https://platform.openjournals.nl/PAC/article/view/23407.. Acesso em: 5 dec. 2025.