A Groebner bases-based approach to backward reasoning in rule based expert systems | Publicación