Pushing Constraints into a Pattern-Tree.

Andreia Silva, Cludia Antunes

Browse the full MDAI paper archive.