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