@Inproceedings{ParamáGabía00,
author = {Paramá, J. R. and Brisaboa, N. R. and Penabad, M. R. and Hernandez, H. J.},
title = {Un procedimiento de Optimización Semántica de Programas Datalog},
booktitle = {Actas de las V Jornadas de Ingeniería del Software y Bases de Datos (JISBD'00)},
address = {Valladolid},
year = {2000},
pages = {295-306}
}