Stefano Bonzio, Michele Pra Baldi, Diego Valota. Counting Finite Linearly Ordered Involutive Bisemilattices. In Jules Desharnais, Walter Guttmann, Stef Joosten, editors, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Volume 11194 of Lecture Notes in Computer Science, pages 166-183, Springer, 2018. [doi]
Abstract is missing.