https://1library.net/document/y6222pnz-complete-cyclic-proof-inductive-entailments-order-logic.html