Formal methods for mining structured data (2006)
[BibTex]