Author:
Burel Guillaume,Cruanes Simon
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
2. Avenhaus, J., Hillenbrand, T., Löchner, B.: On using ground joinable equations in equational theorem proving. Journal of Symbolic Computation 36(1-2), 217–233 (2003)
3. Lecture Notes in Computer Science;L. Bachmair,1995
4. Lecture Notes in Computer Science;J. Denzinger,1996
5. Lecture Notes in Artificial Intelligence;H. Ganzinger,2003