@article{journalsMSCSSeidlR17, author = {Andreas Reu\{ss} and Helmut Seidl}, title = {Paths, {T}ree {H}omomorphisms, and {D}isequalities for {H}1-{C}lauses}, journal = {Mathematical Structures in Computer Science}, year = 2017, pages = {1--61}, publisher = {Cambridge University Press}, doi = {10.1017/S096012951700024X}, }