APA (7th ed.) Citation

Bergmann, E., Röhringer, B., & Grude, U. (1976). A language for resolution-oriented theorem provers. Univ. Bibl. d. TU.

Chicago Style (17th ed.) Citation

Bergmann, Eberhard, Bernhard Röhringer, and Ulrich Grude. A Language for Resolution-oriented Theorem Provers. Berlin: Univ. Bibl. d. TU, 1976.

MLA (9th ed.) Citation

Bergmann, Eberhard, et al. A Language for Resolution-oriented Theorem Provers. Univ. Bibl. d. TU, 1976.