Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. - Timothy L. Hinrichs; Eric Jui-Yi Kao; Michael R. Genesereth (SARA, 2009)

Consistency and Provenance in Rule Processing. - Eric Jui-Yi Kao (RuleML America, 2011)

Introduction to Logic - Michael R. Genesereth; Eric Kao (Morgan & Claypool Publishers, 2013)

Introduction to Logic, Second Edition - Michael R. Genesereth; Eric Kao (Introduction to Logic (2nd Ed.), 2013)

The Herbrand Manifesto - Thinking Inside the Box. - Michael R. Genesereth; Eric Jui-Yi Kao (RuleML, 2015)

Violation management for relational data. - Eric Jui-Yi Kao (2015)

Introduction to Logic, Third Edition - Michael R. Genesereth; Eric Kao (Introduction to Logic (3rd Ed.), 2016)