"Extension into trees of first order theories" . "The 8th International conference on artificial intelligence and symbolic computation, 2006, China. pp. LNAI, Vol 4120. P 53-67" . "2006" . .