Overcoming Misleads In Logic Programs by Redefining Negation - M. A. El-Dosuky; T. T. Hamza; Magdi Zakria Rashad; A. H. Naguib (CoRR, 2011)