TY  - RPRT
TI  - SemHe: A Generalised Two-Level System
AU  - George Anton Kiraz
PY  - 1996
UR  - https://arxiv.org/abs/cmp-lg/9604012
ID  - cmp-lg/9604012
ER  -