Automated prover for attribute dependencies in data with grades | Publicación