Inproceedings (heymans2010flogic)
Heymans, S.; Korf, R.; Erdmann, M.; Puehrer, J. & Eiter, T.
F-Logic: Loosely Coupling F-Logic Rules and Ontologies
2010

Inproceedings (DBLP:conf/esws/EiterIST06)
Eiter, T.; Ianni, G.; Schindlauer, R. & Tompits, H.
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.
2006, 273-287

Article (219403)
Eiter, T. & Gottlob, G.
Identifying the Minimal Transversals of a Hypergraph and Related Problems
SIAM J. Comput., Society for Industrial and Applied Mathematics, 1995, 24, 1278-1304