Recursive Modes for Precise Analysis of Logic Programs

Jichang Tan, I-Peng Lin. Recursive Modes for Precise Analysis of Logic Programs. In ILPS. pages 277-290, 1997.

Abstract

Abstract is missing.