CITATION STYLE
Lowe, H., & Duncan, D. (1997). XBarnacle: Making theorem provers more accessible. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1249, pp. 404–407). Springer Verlag. https://doi.org/10.1007/3-540-63104-6_39
Mendeley helps you to discover research relevant for your work.