citation for reduction semantics