MISC

2003年

Calculi of metavariables

LNCS

2803,484-497