Didier Bert;Rachid Echahed
-;-
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
Maude's module algebra
Science of Computer Programming
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science