Yuki Igarashi Diptarama Ryo Yoshinaka Ayumi Shinohara New Variants of Pattern Matching with Constants and Variables. 611-623 2018 SOFSEM https://doi.org/10.1007/978-3-319-73117-9_43 conf/sofsem/2018 db/conf/sofsem/sofsem2018.html#IgarashiDYS18