ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance | Publicación