@inproceedings{cognitiva1990-which,
  title = {For which Bases Forward Chaining is Sufficient},
  author = {Mathieu, Philippe and Delahaye, Jean-Paul},
  booktitle = {Proceedings of the 3rd COGNITIVA symposium (COGNITIVA'90)},
  pages = {699-702},
  year = {1990},
  publisher = {Elsevier},
  conference = {COGNITIVA'90 -- Madrid (Spain) -- November 1990},
  abstract = {No abstract},
  hal-id = {hal-00731982},
  x-genre = {conferenceInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-country = {ES},
  x-town = {Madrid},
  x-timestamp = {2012-09-13},
  x-missing = {editor,isbn,pdf,url}
}