A Dataflow Analysis Method for Ground Prolog

Andreas Kågedal. A Dataflow Analysis Method for Ground Prolog. In ICLP. pages 746, 1994.

Abstract

Abstract is missing.