@misc {IOPORT.70323858,
    author       = {Gabbrielli, Maurizio and Giacobazzi, Roberto},
    title        = {Goal independency and call patterns in the analysis of logic programs},
    howpublished = {SAC, 394-399 (1994).},
    year         = {1994},
    doi          = {10.1145/326619.326789},
    identifier   = {70323858},
}