Decompose, guess and check : declarative problem solving on tree decompositions / von Bernhard Bliem. Zsfassung in dt. Sprache, 2012
Inhalt