A Dataflow Analysis Method for Ground Prolog

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

Bibliographies