Symbolic computation in RL/1.

Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam

Browse the full DEXA paper archive.