Email Record: Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations