Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -- November 1, 2018. Proceedings
scientific article; zbMATH DE number 6974840