Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Dyfyniad Arddull ChicagoAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Dyfyniad MLAAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.