Marcos Bautista López Aznar. How to Build and Convert Complex Propositions in the Marlo Diagram. In Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana, editors, Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings. Volume 13462 of Lecture Notes in Computer Science, pages 359-363, Springer, 2022. [doi]
Abstract is missing.