CITATION STYLE
Nieuwenhuis, R., Rivero, J. M., & Vallejo, M. A. (1997). Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1249, pp. 49–52). Springer Verlag. https://doi.org/10.1007/3-540-63104-6_5
Mendeley helps you to discover research relevant for your work.