TY  - JOUR

T1  - A formalized general theory of syntax with bindings: extended version

JO  - Journal of Automated Reasoning

PY  - 2019/04/16

AU  - Gheri L

AU  - Popescu A

ED  - 

DO  - DOI: 10.1007/s10817-019-09522-2

PB  - Springer Science and Business Media LLC

VL  - 64

IS  - 4

SP  - 641

EP  - 675

Y2  - 2024/12/23

ER  -