An optimization strategy for recursive queries in logic databases | IEEE Conference Publication | IEEE Xplore