Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara: New Variants of Pattern Matching with Constants and Variables. SOFSEM 2018: 611-623