MEDES as a tool for different reasoning strategies.

Pieter F. de Vries Robb, Pieter E. Zanstra, Steven F. Hartkamp, Wim P. A. Beckers

Browse the full AIME paper archive.