A generic persistence model for (C)LP systems - Correas, J; Gomez, JM; Carro, M; Cabeza, D; Hermenegildo, M; (Lecture Notes In Computer Science, 2003)