https://123dok.net/document/q2npwxnp-enumeration-for-mso-queries-on-trees-via-circuits.html