1. Universality of data retrieval languages;Aho,1979
2. Perspectives in knowledge representation;Aiello;Appl. Artif. Intell.,1991
3. A linear time algorithm for testing the truth of certain quantified boolean formulas;Aspvall;Inform. Process. Lett.,1979
4. Dualities between alternative semantics for logic programming and nonmonotonic reasoning;Baral;J. Autom. Reasoning,1991
5. Nonmonotonic Reasoning: Logical Foundations of Commonsense;Brewka,1991