Theorem proving in hierarchical clausal specifications - Avenhaus, Jürgen; Maldener, Klaus (Fachbereich Informatik, Univ., 1995)