Efficient query processing for a subset of linear recursive binary rules | IEEE Journals & Magazine | IEEE Xplore