Completeness of Unfolding for Rewriting Logic Theories

ALPUENTE M

BAGGI M

FALASCHI M.

BALLIS, Demis