https://1library.org/document/qmj9prl4-automatic-extraction-axiomatizations-signed-tableaux-finite-valued-logics.html