Pruning Search Space for Weighted First Order Horn Clause Satisfiability. - Naveen Nair; Anandraj Govindan; Chander Jayaraman; T. V. S. Kiran; Ganesh Ramakrishnan (ILP, 2010)