Modeling inheritance as coercion in a symbolic computation system.

Csar Domnguez, Julio Rubio

Browse the full ISSAC paper archive.