Xubo Zhang Z. Meral Özsoyoglu On Efficient Reasoning with Implication Constraints. 236-252 1993 conf/dood/93 DOOD db/conf/dood/dood93.html#ZhangO93 https://doi.org/10.1007/3-540-57530-8_15