A General Logic for Sudoku