Up a level |
Fussner, Wesley; Zuluaga Botero, William (2021). Some modal and temporal translations of generalized basic logic. In: Relational and Algebraic Methods in Computer Science. RAMiCS 2021. Lecture Notes in Computer Science: Vol. 13027 (pp. 176-191). Cham: Springer 10.1007/978-3-030-88701-8_11