Operational/Interpretive Unfolding of Multi-adjoint Logic Programs