@inproceedings{confciaaReussS2012,
  author = {Andreas Reu\{ss} and Helmut Seidl},
  title = {Crossing the {S}yntactic {B}arrier: {H}om-{D}isequalities for {H}1-{C}lauses},
  booktitle = {CIAA},
  editor = {Nelma Moreira and Rog\'erio Reis},
  year = 2012,
  pages = {301-312},
  publisher = {Springer, LNCS 7381},
}