A Gröbner bases-based shell for rule-based expert systems development | Publicación