MEDES as a tool for different reasoning strategies. - Pieter F. de Vries Robbé; Pieter E. Zanstra; Steven F. Hartkamp; Wim P. A. Beckers (AIME, 1989)