Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
استشهاد بنمط شيكاغوAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
MLA استشهادAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.