Bengt Aspvall Recognizing Disguised NR(1) Instances of the Satisfiability Problem. 97-103 1980 1 J. Algorithms 1 db/journals/jal/jal1.html#Aspvall80