Klaus Schild. A Correspondence Theory for Terminological Logics: Preliminary Report. In IJCAI. pages 466-471, 1991.
@inproceedings{Schild91:0,
title = {A Correspondence Theory for Terminological Logics: Preliminary Report},
author = {Klaus Schild},
year = {1991},
tags = {logic},
researchr = {https://researchr.org/publication/Schild91%3A0},
cites = {0},
citedby = {0},
pages = {466-471},
booktitle = {IJCAI},
}