A Method for Symbolic Computation of Abstract Operations.

Aditya V. Thakur, Thomas W. Reps

Browse the full CAV paper archive.