On the desirability of mechanizing calculational proofs

• Authors:

• Panagiotis Manolios;J. Strother Moore

• Affiliations:

• -;-

• Venue:
• Information Processing Letters - Special issue in honor of Edsger W. Dijkstra
• Year:
• 2001