Author:
Aleksić Vladimir,Degtyarev Anatoli
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aleksić, V., Degtyarev, A.: On arbitrary selection strategies for superposition. Proceedings of FTP, Technical Report of the University of Koblenz (September 2005)
2. Lecture Notes in Computer Science;L. Bachmair,1992
3. Bachmair, L., Ganzinger, H.: Strict basic superposition and chaining. Research report MPI-I-97-2-011, Max-Planck-Institut für Informatic, Saarbrücken
4. Lecture Notes in Computer Science;L. Bofill,2001
5. Lecture Notes in Artificial Intelligence;L. Bofill,2002