Towards a tile based LfP semantics | IEEE Conference Publication | IEEE Xplore