Trí tuệ tính toán tiếp cận bằng logic - David Poole (Thống Kê, 2002)