Goal independency and call patterns in the analysis of logic programs.

Maurizio Gabbrielli, Roberto Giacobazzi

Browse the full SAC paper archive.