Proceedings of the LICS-99 workshop on Complexity-theoretic and Recursion-theoretic methods in Databases, Artificial Intelligence and Finite Model Theory
@inproceedings{cado-etal-99-c,
title = {Comparing Space Efficiency of Propositional Knowledge Representation
Formalisms},
year = {1999},
author = {Cadoli, Marco and Donini, Francesco M. and Liberatore, Paolo and
Schaerf, Marco},
booktitle = {Proceedings of the LICS-99 workshop on Complexity-theoretic and
Recursion-theoretic methods in Databases, Artificial Intelligence and Finite Model
Theory},
pages = {13-22},
}