Publications from 1993

• Alon Y. Levy , Yehoshua Sagiv , Exploiting Irrelevance Reasoning to Guide Problem Solving Proceedings of the 13th International Joint Conference on Artificial Intelligence 1993 Click here for abstract.
  
• Alon Y. Levy , Yehoshua Sagiv , Queries Independent of Updates Proceedings of the 19th VLDB Conference, Dublin,Ireland 1993 Click here for abstract.
  
• Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli , Equivalence, Query-Reachability and Satisfiability in DatalogExtensions Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, Washington D.C. 1993 Click here for abstract.
  
• Alon Y. Levy , Irrelevance Reasoning in Knowledge Based Systems Ph.D thesis, Stanford University 1993 Click here for abstract.