@inproceedings{freeness_and_correctness:conf,
   author = {Michael Codish and Dennis Dams and Gilberto Fil&eacute and Maurice Bruynooghe},
   title = {Freeness Analysis for Logic Programs --- 
               And Correctness ?},
   booktitle = {Proceedings of the Tenth International Conference on Logic
               Programming},
   editor = {Warren, David S.},
   series = { },
   volume = { },
   month = { },
   year = {1993},
   pages = {116--134},
   publisher = {The MIT Press}
}