@InProceedings{	  gheri.popescu:formalized,
  author	= {Lorenzo Gheri and Andrei Popescu},
  title		= {A Formalized General Theory of Syntax with Bindings:
		  Extended Version},
  booktitle	= {Journal of Automated Reasoning 64(4)},
  year		= 2019,
  pages		= {641-675}
}