Isabela Dramnesc, Tudor Jebelean. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. In 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2020, Timisoara, Romania, May 21-23, 2020. pages 165-172, IEEE, 2020. [doi]
Abstract is missing.