@Article{tcs1994-kind,
  author =                   {Mathieu, Philippe and Delahaye, Jean-Paul},
  title =                    {A kind of Logical Compilation for knowledge bases},
  journal =                  {Theoretical Computer Science},
  publisher =                {Elsevier},
  year =                     {1994},
  volume =                   {131},
  pages =                    {197-218},
  genre =                    {revueInternationale},
  x-language =               {EN},
  x-international-audience = {Yes},
  abstract =                 {No abstract}
}