@inProceedings{BruGugICLP03,
   author =    {Bruscoli, Paola and Guglielmi, Alessio},
   title =     {A Tutorial on Proof Theoretic Foundations of Logic
                Programming},
   booktitle = {Logic Programming, 19th International Conference},
   year =      2003,
   publisher = {Springer-Verlag},
   series =    {Lecture Notes in Computer Science},
   editor =    {Palamidessi, Catuscia},
   volume =    2916,
   pages =     {109--127},
   note =      {Invited tutorial}
}