Evaluation and optimization of the LIVING IN A LATTICE rule language | IEEE Conference Publication | IEEE Xplore