@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},
}