@article{TOCL,
  title         = {De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic},
  author        = {Ross Horne and Alwen Tiu and Bogdan Aman and Gabriel Ciobanu},
  journal       = {ACM Transactions in Computational Logic (TOCL)},
  publisher     = {ACM},
  year          = {2019},
  volume        = {20},
  number        = {4},
  url           = {https://satoss.uni.lu/members/ross/pdf/tocl.pdf},
  doi           = {10.1145/3325821},
  pages         = {22:1--22:44}
}