Heymans, Stijn and Korf, Roman and Erdmann, Michael and Puehrer, Joerg and Eiter, Thomas. F-Logic: Loosely Coupling F-Logic Rules and Ontologies. Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence. Year 2010.
Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.. ESWC. 273-287, Year 2006.
Eiter, Thomas and Gottlob, Georg. Identifying the Minimal Transversals of a Hypergraph and Related Problems. In SIAM J. Comput., (24) 6: 1278--1304, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, Year 1995.