@InProceedings{lpar1994-kind,
  author =                   {Delahaye, Jean-Paul and Mathieu, Philippe},
  title =                    {A Kind of Achievement by part Method},
  booktitle =                {Proceedings of 1994 International Conference on Logic Programming and Automated Reasoning (LPAR'94)},
  year =                     {1994},
  editor =                   {Pfenning, F.},
  volume =                   {822},
  series =                   {Lecture Notes in Artificial Intelligence},
  pages =                    {320-332},
  month =                    {Juillet},
  publisher =                {Springer},
  conference =               {LPAR'94 -- Kiev (Ukraine) -- July 1994},
  genre =                    {conferenceInternationale},
  x-language =               {EN},
  x-international-audience = {Yes},
  x-country =                {UA},
  abstract =                 {No abstract}
}