Avenhaus, J., & Maldener, K. (1995). Theorem proving in hierarchical clausal specifications. Fachbereich Informatik, Univ.
Chicago-Zitierstil (17. Ausg.)Avenhaus, Jürgen, und Klaus Maldener. Theorem Proving in Hierarchical Clausal Specifications. Kaiserslautern: Fachbereich Informatik, Univ, 1995.
MLA-Zitierstil (9. Ausg.)Avenhaus, Jürgen, und Klaus Maldener. Theorem Proving in Hierarchical Clausal Specifications. Fachbereich Informatik, Univ, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.