Heymans, S., Korf, R., Erdmann, M., Puehrer, J. & Eiter, T.
(2010).
F-Logic: Loosely Coupling F-Logic Rules and Ontologies.
Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence,
.
Eiter, T., Ianni, G., Schindlauer, R. & Tompits, H.
(2006).
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning..
ESWC (p./pp. 273-287),
.
Eiter, T. & Gottlob, G.
(1995).
Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput.,
24, 1278--1304.
doi: http://dx.doi.org/10.1137/S0097539793250299