User-Definable Resource Bounds Analysis for Logic Programs.

Jorge A. Navas, Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full ICLP paper archive.