Intruder deduction problem for locally stable theories with normal forms and inverses
scientific article; zbMATH DE number 6836566
scientific article