ABSTRACT

We shall now show how the Decision Procedure for LPC1 given in Chapter 27 can be extended to LPC2.