Constraint programming
XPath
FO
XML tree
Computing
Software engineering
Theoretical computer science
Decomposition method
Local consistency