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),.
, 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