Alexander Maletzky,
"Automated Reasoning in Reduction Rings using the Theorema System"
, in V. P. Gerdt and others: CASC 2015, Serie Lecture Notes in Computer Science (LNCS), Vol. 9301, Seite(n) 305-319, 2015
Original Titel:
Automated Reasoning in Reduction Rings using the Theorema System