//-->
An LP-based proof for the non-existence of a pair of orthogonal Latin squares of order 6
Appa, G., (2004)
Searching for Mutually Orthogonal Latin Squares via integer and constraint programming
Appa, G., (2006)
On the system of two all_different predicates
Appa, G., (2005)