The development graph manager maya (system description (2002)

by S Autexier, D Hutter, T Mossakowski, A Schairer
Venue:in: Proceedings of the AMAST 2002, LNCS