Global Analysis of Standard Prolog Programs (1996)

by F Bueno, D Cabeza, M Hermenegildo, G Puebla
Venue:In European Symposium on Programming. Number 1058 in LNCS