@Book{SR--2004--01,
year=2004,
author={Tobias Schmidt-Samoa},
title={The New Standard Tactics of the Inductive Theorem Prover {\sc Quod\-Libet}},
publisher={{SEKI Publications}},
series={{SEKI-Report SR--2004--01 (ISSN 1437--4447)}},
address={Saarland Univ.},
note={{\url{http://www.ags.uni-sb.de/~cp/p/sr200401}}},
}