Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
L. Chen. Logique typée at DATALOG. In Michel E. Adiba, editor, Troisièmes Journées Bases de Données Avancées, 20-22 Mai 1987, Port-Camargue (Informal Proceedings). pages 111-142, INRIA, 1987.