Publication
Deductive Proof Support for Invariants of State-Transition Systems
Dieter Hutter
In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), Bremen, Germany, Pages 153-164, Springer-Verlag, LNAI 1504, Berlin, 1998.