Y. Guizhen, M. Kifer, and C. Zhao, “Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web,” in Proceedings of the in Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE, Catania, Italy, 2003.

M. Kifer and G. Lausen, “F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme,” in Proceedings of the SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data, Portland, Ore, USA.

D. Roman and M. Kifer, “Reasoning about the behavior of Semantic Web services with concurrent transaction logic,” in Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB 2007, pp. 627–638, Vienna, Austria, September 2007.View at Scopus

A. J. Bonner and M. Kifer, “Concurrency and Communication in Transaction Logic,” in Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '96), 1996.View at MathSciNet