A Regular Type Analysis of Logic Programs

Lunjin Lu, John G. Cleary. A Regular Type Analysis of Logic Programs. In ICLP. pages 613, 1999.

Abstract

Abstract is missing.