Theorem proving in hierarchical clausal specifications - Avenhaus, Jürgen; Maldener, Klaus (Universität <Kaiserslautern> / SEKI-Projekt: SEKI-Report, 1995)