Integrating Hol-Casl into the development graph manager Maya (2002)

by Serge Autexier, Till Mossakowski
Venue:Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, Proceedings, LNCS