Pablo Cordero Angel Mora Inman P. de Guzmán Manuel Enciso Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. 911-923 2008 156 Discrete Applied Mathematics 6 http://dx.doi.org/10.1016/j.dam.2007.02.014 db/journals/dam/dam156.html#CorderoMGE08