Aranda López , Gabriel (2010) Un sistema de bases de datos deductivas con restricciones. Tesis Master's thesis.