Theory propagation and rational-trees.

Edward Robbins, Jacob M. Howe, Andy King

Browse the full PPDP paper archive.