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