Anna Zamansky, Maria Spichkova. A Set-based Logical Language for Specification of Combinatorial Models. In Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2019, Sydney, NSW, Australia, January 29-31, 2019. ACM, 2019. [doi]
Abstract is missing.