TERMODE. Una Herramienta de Diseño automatizada para Bases de Datos Deductivas. - María Lourdes Borrajo Diz; Nieves R. Brisaboa; Jerónimo Pérez Paz (JIDBD, 1996)