https://www.cs.princeton.edu/~appel/papers/flit.pdf
http://www.lix.polytechnique.fr/~dale/papers/lopstr2015.pdf
https://faculty.ist.psu.edu/wu/papers/checker.pdf