TY - RPRT TI - New Variants of Pattern Matching with Constants and Variables AU - Yuki Igarashi AU - Diptarama AU - Ryo Yoshinaka AU - Ayumi Shinohara PY - 2017 UR - https://arxiv.org/abs/1705.09504 ID - 1705.09504 ER -