<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE>G4ip Infernce Rules</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#C7C3C7" LINK="#0000EF" VLINK="#51188E" ALINK="#FF0000">
<H2>The Inference Rules of G4ip (LJT) </H2>
A <A HREF="G4ip.dvi">dvi</A> and <A HREF="G4ip.ps">ps</A> version; the rules can be found in
<A HREF="index.html#Dyckhoff92">[Dyckhoff, 1992]</a>.
<HR>
<img src="G4ip.gif" width=467 height=559>
<HR>
<ADDRESS>
<A HREF="mailto:Christian.Urban@cl.cam.ac.uk">Christian Urban</A></ADDRESS>
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
<!-- hhmts start -->
Last modified: Wed Jan 28 22:14:28 GMT 1998
<!-- hhmts end -->
</BODY>
</HTML>