@article{Scozzari-TCS2002,
   author = {Scozzari, F.},
   title =  {Logical Optimality of Groundness Analysis},
   journal  = {Theoretical Computer Science},
   editor = {P. Van Hentenryck},
   publisher = {Elsevier},
   year =      2002,
   volume=277,
   number={1-2},
   pages={149-184}
}