%0 Journal Article %1 journals/tcs/Ayala-RinconFN17 %A Ayala-Rincón, Mauricio %A Fernández, Maribel %A Nantes-Sobrinho, Daniele %D 2017 %J Theor. Comput. Sci. %K %P 64-100 %T Intruder deduction problem for locally stable theories with normal forms and inverses. %U http://dblp.uni-trier.de/db/journals/tcs/tcs672.html#Ayala-RinconFN17 %V 672

@article{journals/tcs/Ayala-RinconFN17, added-at = {2023-12-14T16:31:29.000+0100}, author = {Ayala-Rincón, Mauricio and Fernández, Maribel and Nantes-Sobrinho, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2e9c0232c6fb963643fcfdac4b7f78c1e/admin}, ee = {https://doi.org/10.1016/j.tcs.2017.01.027}, interhash = {f940c02d205f840257e5a5f90a40afc2}, intrahash = {e9c0232c6fb963643fcfdac4b7f78c1e}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {64-100}, timestamp = {2023-12-14T16:31:29.000+0100}, title = {Intruder deduction problem for locally stable theories with normal forms and inverses.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs672.html#Ayala-RinconFN17}, volume = 672, year = 2017 }