Legality Concepts for Three-valued Logic Programs