Papageorgiou, K. G.; Lekkas, D. E. The Predicate Fabric of Abstraction: The Hard Test of Logical Inversion. EML 2019, 69-88.