Cite
APA Citation
Avanesov, T., Chevalier, Y., Rusinowitch, M., & Turuani, M. (2017). satisfiability of general intruder constraints with and without a set constructor. Journal of symbolic computation, 80, 27–61. http://access.bl.uk/ark:/81055/vdc_100039350884.0x000058