Eugenio Roanes-Lozano Antonio Hernando Luis M. Laita Eugenio Roanes-Macías A Groebner bases-based approach to backward reasoning in rule based expert systems. 297-311 2009 56 Ann. Math. Artif. Intell. 3-4 http://dx.doi.org/10.1007/s10472-009-9147-4 db/journals/amai/amai56.html#Roanes-LozanoHLR09