Donald E. Knuth Nested Satisfiability. 1-6 1990 28 Acta Inf. 1 db/journals/acta/acta28.html#Knuth90