Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Chicago Edition CitationAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Cita MLAAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Atenció: Aquestes cites poden no estar 100% correctes.