Keys, Nominals, and Concrete Domains (Journal)

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/jair/LutzAHS05, title={Keys, Nominals, and Concrete Domains}, pages={667-726}, year={2005}, volume={23}, journal={J. Artif. Intell. Res. (JAIR)}, ee={http://www.jair.org/papers/paper1542.html}, url={http://www.informatik.uni-trier.de/~ley/db/journals/jair/jair23.html#LutzAHS05}, author={Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler} }\end{bibtex}