Contém publicações científicas e Relatório Final, no âmbito do Programa Base de Investigação Científica e Tecnológica, do seguinte projecto:
Projecto "Interoperacionalidade de Bases de Dados Dedutivas" (PBIC/C/TIT/1227/92), proposto e executado pelo Instituto de Engenharia de Sistemas e Computadores. Investigador responsável: Georg Reichwein.