Equalizing Terms by Difference Reduction Techniques (1997)

by Dieter Hutter
Venue:In Proceedings Gramlich, B., Kirchner, H. (Eds.) Workshop on Strategies in Automated Deduction
Citations:3 - 0 self