Nachum Dershowitz
-
A tool supporting query optimization and program transformation techniques
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Cited References
Computer algebra handbook