Lower-bound Time-complexity Analysis of Logic Programs

Andy King, Kish Shen, Florence Benoy. Lower-bound Time-complexity Analysis of Logic Programs. In ILPS. pages 261-275, 1997.

Abstract

Abstract is missing.