The Inference Rules of G4ip (LJT)
A
dvi
and
ps
version; the rules can be found in
[Dyckhoff, 1992]
.
Christian Urban
Last modified: Wed Jan 28 22:14:28 GMT 1998
