@article{tcs1994-kind,
  title = {A kind of Logical Compilation for knowledge bases},
  author = {Mathieu, Philippe and Delahaye, Jean-Paul},
  journal = {Theoretical Computer Science},
  pages = {197-218},
  volume = {131},
  year = {1994},
  publisher = {Elsevier},
  abstract = {No abstract},
  hal-id = {hal-00731935},
  x-genre = {revueInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-timestamp = {2012-09-13},
  x-missing = {issn,month,number,pdf}
}