Biswas, S and Rajarman, V (1987) An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables. In: IEEE Transactions on Software Engineering, 13 (12). pp. 1340-1347.