Automatic generation of injective modular mappings.

Hyuk-Jae Lee, Jos A. B. Fortes

Browse the full ICPP paper archive.