Lower-bound Time-complexity Analysis of Logic Programs.

Andy King Kish Shen Florence Benoy Lower-bound Time-complexity Analysis of Logic Programs. 261-275 1997 ILPS db/conf/slp/slp97.html#KingSB97