@inproceedings{Laf08,
title = {Relation between intruder deduction problem and unification },
author = {Lafourcade, Pascal},
year = {2008},
booktitle = {{P}roceedings of the {LICS}-Affiliated 3rd {I}nternational {W}orkshop on {S}ecurity and {R}ewriting {T}echniques ({SecReT}'08)},
team = {DCS},
}