TY - RPRT TI - Overcoming Misleads In Logic Programs by Redefining Negation AU - M. A. El-Dosuky AU - T. T. Hamza AU - M. Z. Rashad AU - A. H. Naguib PY - 2013 UR - https://arxiv.org/abs/1105.6148 ID - 1105.6148 ER -