Memo (to myself) after reading Buchberger: History and basic features of the critical-pair/completion procedure

Show full title
Archive der Universität Konstanz
Data provider's object view