7 phương pháp giải các bài toán học logic - Đặng Huy Ruận (Khoa học và Kỹ thuật, 2002)