Return to Article Details Ordered pair semantics and negation in LP Download Download PDF