CITATION STYLE
Artemov, S. (2003). Back to the future: Explicit logic for computer science. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2803, 43. https://doi.org/10.1007/978-3-540-45220-1_4
Mendeley helps you to discover research relevant for your work.