@InProceedings{Tverdyshev:FROCOS05-302,
  author =       "Sergey Tverdyshev",
  editor =       "Bernhard Gramlich",
  title =        "Combination of {Isabelle/HOL} with Automatic Tools",
  booktitle =    "Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005, Vienna Austria, September 19--21, 2005. Proceedings",
  series =       "Lecture Notes in Computer Science",
  volume =       "3717",
  pages =        "302--309",
  publisher =    "Springer",
  year =         "2005",
  ee =           "http://dx.doi.org/10.1007/11559306_18",
}