CITATION STYLE
Goubault-Larrecq, J., & Jouannaud, J. P. (2013). The blossom of finite semantic trees. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7797 LNCS, 90–122. https://doi.org/10.1007/978-3-642-37651-1_5
Mendeley helps you to discover research relevant for your work.