Jérôme Lang, Pierre Marquis. On propositional definability. Artificial Intelligence, 172(8-9):991-1017, 2008. [doi]
@article{LangM08,
title = {On propositional definability},
author = {Jérôme Lang and Pierre Marquis},
year = {2008},
doi = {10.1016/j.artint.2007.12.003},
url = {http://dx.doi.org/10.1016/j.artint.2007.12.003},
researchr = {https://researchr.org/publication/LangM08},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {172},
number = {8-9},
pages = {991-1017},
}