1. On the properties of extended inclusion inference;Arisawa;Proc. 12th Internat. Conf. on Very Large Data Bases,1986
2. Consistency and completeness of OMEGA, a logic for knowledge representation;Attardi;Proc. 7th IJCAI,1981
3. Formal properties of net-based knowledge representation schemes;Atzeni;Proc. 2nd Conf. on Data Engineering,1986
4. DAL—a logic for data analysis;del Cerro;Theoret. Comput. Sci.,1985
5. Two applications of equational theories to database theory;Cosmadakis;Proc. Conf. on Rewriting Techniques and Applications,1985