A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
scientific article; zbMATH DE number 5083538
scientific article