CITATION STYLE
Gamboa, R., & Strother Moore, J. (2006). ACL2. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3600 LNAI, 55–66. https://doi.org/10.1007/11542384_10
Mendeley helps you to discover research relevant for your work.