Towards a constraint deductive database language based on hereditary harrop formulas (2006)

by S Nieva, F Sáenz-Pérez, J Sánchez
Venue:Sextas Jornadas de Programación y Lenguajes, PROLE