@misc{indiciaecc8f429d8e94,
  title = {Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free},
  author = {Murdoch J. Gabbay},
  year = {2011},
  doi = {10.2178/jsl/1344862164},
  url = {https://arxiv.org/abs/1112.0923},
  note = {Source identifier: 1112.0923}
}