ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.

Mara Alpuente, Santiago Escobar, Javier Espert, Jos Meseguer

Browse the full JELIA paper archive.