S. Chaplick, H. Förster, M. Kryven, and A. Wolff. Proc. 17th Scand. Symp. and Workshops on Algorithm
Theory (SWAT'20), volume 162 of LIPIcs, page 21:1--21:14. Schloss Dagstuhl~-- Leibniz-Zentrum für
Informatik, (2020)
B. Galitsky, and S. Kuznetsov. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume 5113 of Lecture Notes in Computer Science, page 282-296. Springer, (2008)