lesen aus Buch »Assertion Level Proof Planning with Compiled Strategies« von Dominik Dietrich.