ITLI-1986-02: Peter van Emde Boas A Semantical Model for Integration and Modularization of Rules 1.Full Text. < Back