Copy
contained by
http://biorxiv.org/content/early/2014/06/27/006650.abstract
inverse of has subsequence
Chris Mungall