CITATION STYLE
Gramlich, B. (1990). UNICOM: A refined completion based inductive theorem prover. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 449 LNAI, pp. 655–656). Springer Verlag. https://doi.org/10.1007/3-540-52885-7_127
Mendeley helps you to discover research relevant for your work.