An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance | Publicación