Logics and OO-Data Bases:a declarative approach | Publicación