Login / Signup

Modular AC Unification of Higher-Order Patterns.

Zhenyu QianKang Wang
Published in: CCL (1994)
Keyphrases