Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe. On the Design of a Correct Freeness Analysis for Logic Programs. Journal of Logic and Algebraic Programming, 28(3):181-206, 1996.
No references recorded for this publication.
No citations of this publication recorded.