@Inproceedings{heymans2010flogic,
  author = {Heymans, Stijn and Korf, Roman and Erdmann, Michael and Puehrer, Joerg and Eiter, Thomas},
  title  = {F-Logic\#: Loosely Coupling F-Logic Rules and Ontologies},

  year   = {2010},
  number = {},
  url    = {http://www.kr.tuwien.ac.at/staff/heymans/priv/publications/wi2010.pdf},

  const  = {\ text}
}
@Inproceedings{DBLP:conf/esws/EiterIST06,
  author = {Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans},
  title  = {Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.},

  year   = {2006},
  number = {},
  url    = {},

  const  = {\ text}
}
@Article{219403,
  author = {Eiter, Thomas and Gottlob, Georg},
  title  = {Identifying the Minimal Transversals of a Hypergraph and Related Problems},
  journal = {SIAM J. Comput.},
  year   = {1995},
  number = {6},
  url    = {http://portal.acm.org/citation.cfm?id=219403},
  doi = {http://dx.doi.org/10.1137/S0097539793250299},
  const  = {\ text}
}