Integrating HOL-CASL into the Development Graph Manager MAYA<pre>@inproceedings{AuMo-02-a,
  author        = {Autexier, Serge and Mossakowski, Till},
  editor        = {A. Armando},
  booktitle     = {Proceedings of FROCOS'02},
  title         = {Integrating HOL-CASL into the Development Graph Manager MAYA},
  volume        = {2309},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {2-17},
  month         = {april},
  year          = {2002},
}
</pre>