Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos: A Computer Algebra Approach to Relational Systems Using Gröbner Bases. RelMiCS 2001: 124-133