Normalised Rewriting and Normalised Completion (1994)

Cached

Download Links

by Claude Marche
Citations:19 - 2 self