//-->
An LP-based proof for the non-existence of a pair of orthogonal Latin squares of order 6
Appa, G., (2004)
A Branch & Cut algorithm for a four-index assignment problem
On the system of two all_different predicates
Appa, G., (2005)