Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
scientific article; zbMATH DE number 7908127