Login / Signup

A Language of Patterns for Subterm Selection.

Georges GonthierEnrico Tassi
Published in: ITP (2012)
Keyphrases