Proceedings of the 4th International Workshop on Logic in Databases
ACM Digital Library