H.: Specifying Latin squares in propositional logic (1997)

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