Deriving Linear Size Relations for Logic Programs by Abstract Interpretation.

Danny De Schreye Kristof Verschaetse Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. 117-154 1995 13 New Generation Comput. 2 db/journals/ngc/ngc13.html#SchreyeV95