@incollection{Lafourcade_2005,
    doi = {10.1007/978-3-540-32033-3_23},
    url = {https://doi.org/10.1007%2F978-3-540-32033-3_23},
    year = {2005},
    publisher = {Springer Berlin Heidelberg},
    pages = {308--322},
    author = {Pascal Lafourcade and Denis Lugiez and Ralf Treinen},
    title = {Intruder Deduction for {AC}-Like Equational Theories with Homomorphisms},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Lafourcade_2005, doi = {10.1007/978-3-540-32033-3_23}, url = {https://doi.org/10.1007%2F978-3-540-32033-3_23}, year = {2005}, publisher = {Springer Berlin Heidelberg}, pages = {308--322}, author = {Pascal Lafourcade and Denis Lugiez and Ralf Treinen}, title = {Intruder Deduction for {AC}-Like Equational Theories with Homomorphisms}, booktitle = {Lecture Notes in Computer Science} }