CITATION STYLE
Areces, C., & Heguiabehere, J. (2002). HyLoRes 1.0: Direct resolution for hybrid logics. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2392, 156–160. https://doi.org/10.1007/3-540-45620-1_14
Mendeley helps you to discover research relevant for your work.