Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases