Some Results on Order-Consistent Logic Programs | IEEE Conference Publication | IEEE Xplore