"Polynomial-time subgraph enumeration for automated instruction set extension."

Paolo Bonzini, Laura Pozzi (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics