Toward an Inductionless Technique for Proving Properties of Logic Programs.

Roberto Barbuti, Pierpaolo Degano, Giorgio Levi

Browse the full ICLP paper archive.