Abstract Interpretation based Verification of Logic Programs (2000)

by M Comini, R Gori, G Levi, P Volpe
Venue:Proceedings of the Workshop on Verification of Logic Programs, volume 30 of Electronic Notes in Theoretical Computer Science