TY  - RPRT
TI  - On terms describing omitting types 1 and 2 - an improved version
AU  - Jelena Jovanović
PY  - 2012
UR  - https://arxiv.org/abs/1207.0713
ID  - 1207.0713
ER  -