"Proceedings of the 4th International Workshop on Logic in Databases, ..."

George H. L. Fletcher, Slawek Staworko (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics