@inproceedings{Tv05,
AUTHOR = {Tverdyshev, Sergey},
TITLE = {Combination of Isabelle/HOL with Automatic Tools},
VOLUME = {3717},
YEAR = {2005},
PAGES = {302-309},
URL = {http:///publikationen/Tv05.pdf},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {FroCoS 2005},
PUBLISHER = {Springer Verlag},
EDITOR = {Bernhard Gramlich},
SCHOOL = {Saarland University},
EE = {http://dx.doi.org/10.1007/11559306_18},
}