APA (7th ed.) Citation

Avenhaus, J., & Maldener, K. (1995). Theorem proving in hierarchical clausal specifications. Fachbereich Informatik, Univ.

Chicago Style (17th ed.) Citation

Avenhaus, Jürgen, and Klaus Maldener. Theorem Proving in Hierarchical Clausal Specifications. Kaiserslautern: Fachbereich Informatik, Univ, 1995.

MLA (9th ed.) Citation

Avenhaus, Jürgen, and Klaus Maldener. Theorem Proving in Hierarchical Clausal Specifications. Fachbereich Informatik, Univ, 1995.