Fully Automatic Binding-Time Analysis for Prolog.

Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen

Browse the full LOPSTR paper archive.