DMCA

Constraint multiset rewriting (2002)

by Parosh Aziz Abdulla , Giorgio Delzanno
Citations:7 - 2 self