Mircea Marin, Besik Dundua, Teimuraz Kutsia,
"A Rule-Based System for Computation and Deduction in Mathematica"
, in Santiago Escobar, Narciso Martßi-Oliet: WRLA 2020: Rewriting Logic and Its Applications, Serie Lecture Notes in Computer Science (LNCS), Vol. 12328, Springer, Seite(n) 57-74, 2020
Original Titel:
A Rule-Based System for Computation and Deduction in Mathematica