https://1library.org/document/oy8x7l2q-deciding-di-erence-logic-nelson-oppen-combination-framework.html