Formal Methods for Mining Structured Objects (Studies