1. Equivalences Among Relational Expressions;Aho;Siam Journal of Computing,1979
2. Chakravarthy, U. S. [1985] Semantic Query Optimization in Deductive Databases, Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, MD
3. Semantic Query Optimization in Expert Systems and Database Systems;Chakravarthy,1986
4. Semantic Query Optimization: Additional Constraints and Control Strategies;Chakravarthy,1986
5. Symbolic Logic and Mechanical Theorem Proving;Chang,1973