Appendix Algorithms for Regular Tree Grammar based search and their application to mining human-viral infection patterns