@techreport{Clausecker2017, author = {Robert Clausecker}, title = {Notes on the Construction of Pattern Databases}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {17-59}, language = {eng}, year = {2017} }