TY - DATA AU - Anna Fensel AU - Ana Ozaki AU - Dumitru Roman TI - Rules and Reasoning T2 - Lecture Notes in Computer Science SN - 9783031159313 PB - Springer KW - Computer Science KW - Theory of Computation UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-45072-3 ER -