Login / Signup

A Parallel Implementation of Rewriting and Narrowing.

Naomi Lindenstrauss
Published in: RTA (1989)
Keyphrases