Croitoru, C., & Mehlhorn, K. (2018). On Testing Substitutability. Information Processing Letters, 138, 19-21. doi:10.1016/j.ipl.2018.05.006.