Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack. - Christian Queinnec; P. Geffroy (WSA, 1992)