A logic for XML Trees and its satisfiability solver

Main Publications

Software

You can try the online interactive demonstration.

Source constantly improved on request; contact: email