Provijn, Dagmar. 2002. “How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.”. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, H. Blockeel and Denecker, M.

Provijn, Dagmar. 2012. “The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.

Provijn, Dagmar. 2014. “Bloody Analogical Reasoning” Erik Weber, Wouters, Dietlinde, and Meheus, Joke. Logic, Reasoning, and Rationality: 217–232.

Provijn, Dagmar. 2003. “Direct Dynamic Proofs For Compatibility.” Claudio Delrieux and Legris, Javier. Computer modeling of scientific reasoning: 179–187.

Provijn, Dagmar. 2002. “Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.

Provijn, Dagmar. 2009. “Strategies: What's In A Name?” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic 21: 287–306.

Provijn, Dagmar. 2005. “Prospectieve Dynamiek. Filosofische En Technische Onderbouwing Van Doelgerichte Bewijzen En Bewijsheuristieken”.