Automated Certification of Logic Program Groundness Analysis.

Thierry Marianne, Fred Mesnard, tienne Payet

Browse the full LOPSTR paper archive.