Algorithm Retrieval: Concept Clarification and Case Study in Theorema (2003)

by B Buchberger