Elementary resolution (Concept) - Source Library Encyclopedia