Freeness Analysis for Logic Programs - And Correctness?

Michael Codish, Dennis Dams, Gilberto Fil, Maurice Bruynooghe

Browse the full ICLP paper archive.