Reduction and Refinement

E. Boiten,D. Grundy
DOI: https://doi.org/10.1016/j.entcs.2008.02.014
2008-03-01
Abstract:
What problem does this paper attempt to address?