https://www.scopujournals.com/2020/06/acm-transactions-on-computational-logic.html