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