The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
scientific article; zbMATH DE number 7370024