An improved lower bound for the elementary theories of treesComplexity of Nonrecursive Logic Programs with Complex Values
