Specifying Latin squares in propositional logic (1997)

by H Zhang
Venue:Automated Reasoning and Its Applications, Essays in honor of Larry Wos, Chapter 6