An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning | Publicación