Cita APA (7th ed.)
Dilger, W., & Schneider, H. (1985). A Theorem proving associative processor.
Cita Chicago (17th ed.)
Dilger, Werner, i Hans-Albert Schneider. A Theorem Proving Associative Processor. Kaiserslautern, 1985.
Cita MLA (9th ed.)
Dilger, Werner, i Hans-Albert Schneider. A Theorem Proving Associative Processor. 1985.
Atenció: Aquestes cites poden no estar 100% correctes.