Zhang, X., & Ozsoyoglu, Z.(1997).Implication and referential constraints: A new formal reasoning.Knowledge and Data Engineering, IEEE Transactions on,9(6),894–910.
Zhang, X., & Ozsoyoglu, Z.(1995).Constructing Partial and Complete Intelligent Answers for Recursive Queries.International Journal on Artificial Intelligence Tools,4(01n02),157–176.
Zhang, X., & Ozsoyoglu, Z.(1994).Some results on the containment and minimization of (in) equality queries.Information processing letters,50(5),259–267.