Philippe Mathieu, Jean-Paul Delahaye. A Kind of Logical Compilation for Knowledge Bases. Theoretical Computer Science, 131(1):197-218, 1994.
@article{MathieuD94,
title = {A Kind of Logical Compilation for Knowledge Bases},
author = {Philippe Mathieu and Jean-Paul Delahaye},
year = {1994},
researchr = {https://researchr.org/publication/MathieuD94},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {131},
number = {1},
pages = {197-218},
}