Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner. Extensional and Intensional Strategies.
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19.
⟨10.4204/EPTCS.15.1⟩.
⟨inria-00494636⟩