Xubo Zhang and Z. Meral Özsoyoglu: On Efficient Reasoning with Implication Constraints. (1993)conf/dood/ZhangO9310.1007/3-540-57530-8_15On Efficient Reasoning with Implication Constraints.2Xubo Zhang1Z. Meral Özsoyoglu2236-252DOODDOOD19931993provenance information for RDF data of dblp record 'conf/dood/ZhangO93'2019-08-07T09:20:32+0200