K. G. Papageorgiou and D. E. Lekkas, “The predicate fabric of abstraction: the hard test of logical inversion”, EML, no. 2, pp. 69–88, Jun. 2019.