@inproceedings{jelia1990-logical,
  title = {The Logical Compilation of Knowledge Bases},
  author = {Mathieu, Philippe and Delahaye, Jean-Paul},
  booktitle = {Actes des Journées Européennes sur les Logiques pour l'Intelligence Artificielle (JELIA'90)},
  editor = {van Eijck, J.},
  pages = {386-398},
  year = {1990},
  volume = {478},
  series = {Lecture Notes in Artificial intelligence},
  publisher = {Springer},
  conference = {JELIA'90 -- Amsterdam (The Netherlands) -- September 1990},
  abstract = {No abstract},
  hal-id = {hal-00732008},
  x-genre = {conferenceNationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-country = {NL},
  x-town = {Amsterdam},
  x-timestamp = {2012-09-13},
  x-missing = {isbn,pdf,url}
}