Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
শিকাগো স্টাইলে সাইটেশনAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
এমএলএ সাইটেশনAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.