DMCA

An implementation of modular sos in maude (2005)

by Fabricio Chalub , Christiano Braga
Venue:Master’s thesis, Universidade Federal Fluminense