Xian Li, Weiyi Meng, Clement T. Yu. T-verifier: Verifying truthfulness of fact statements. In Serge Abiteboul, Klemens Böhm, Christoph Koch, Kian-Lee Tan, editors, Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany. pages 63-74, IEEE Computer Society, 2011. [doi]
Abstract is missing.