Analyzing Logic Programs with Dynamic Scheduling.

Kim Marriott, Maria J. Garca de la Banda, Manuel V. Hermenegildo

Browse the full POPL paper archive.