Franz Baader. A Formal Definition for the Expressive Power of Knowledge Representation Languages. In ECAI. pages 53-58, 1990.
@inproceedings{Baader90:1, title = {A Formal Definition for the Expressive Power of Knowledge Representation Languages}, author = {Franz Baader}, year = {1990}, researchr = {https://researchr.org/publication/Baader90%3A1}, cites = {0}, citedby = {0}, pages = {53-58}, booktitle = {ECAI}, }