DK-Report 2015-06, A. Maletzky
Exploring Reduction Ring Theory in Theorema
dkreport15_06.pdf — PDF document, 911 KB (933740 bytes)