Publications Coauthored with Gilberto Filé

For details on a publication, click the title link. For information on a coauthor click, the authors name.

On the Design of a Correct Freeness Analysis for Logic Programs;
Michael Codish, Dennis Dams, Gilberto Filé and Maurice Bruynooghe ; The Journal of Logic Programming; 28(3):181-206.

Freeness Analysis for Logic Programs --- And Correctness ?;
Michael Codish, Dennis Dams, Gilberto Filé and Maurice Bruynooghe; Proceedings of the Tenth International Conference on Logic Programming