Email Record: Complexité et décidabilité / Patrick Dehornoy.