Bergmann, E., Röhringer, B., & Grude, U. (1976). A language for resolution-oriented theorem provers. Univ. Bibl. d. TU.
Chicago-Zitierstil (17. Ausg.)Bergmann, Eberhard, Bernhard Röhringer, und Ulrich Grude. A Language for Resolution-oriented Theorem Provers. Berlin: Univ. Bibl. d. TU, 1976.
MLA-Zitierstil (9. Ausg.)Bergmann, Eberhard, et al. A Language for Resolution-oriented Theorem Provers. Univ. Bibl. d. TU, 1976.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.