Frank Thomas Sautter, Bruno Ramos Mendonça. Validity as Choiceless Unification. In Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana, editors, Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings. Volume 12909 of Lecture Notes in Computer Science, pages 204-211, Springer, 2021. [doi]
Abstract is missing.