Completeness of Unfolding for Rewriting Logic Theories.

Mara Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis

Browse the full SYNASC paper archive.