Effective Minimization of Acyclic Phase-Type Representations · Study