Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Croitoru, C., & Mehlhorn, K. (2018). On Testing Substitutability. Information Processing Letters, 138, 19-21. doi:10.1016/j.ipl.2018.05.006.