H
o
T
T
_
H
I
T
_
M
etatheory.
H
I
T
_
C
anonical_
N
ormal_
F
orms
HTML Presentation