An Engine for Logic Program Analysis

Nevin Heintze, Joxan Jaffar. An Engine for Logic Program Analysis. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 318-328, IEEE Computer Society, 1992.

Abstract

Abstract is missing.