Ganguly, et al.. Parameterized Pattern Matching -- Succinctly. 5 Apr. 2016.