An Open Environment for Cooperative Equational Solving.

Tetsuo Ida, Mircea Marin

Browse the full APLAS paper archive.