Recursive versus iterative schemes for least fix point computation in logic databases | IEEE Conference Publication | IEEE Xplore