Component refinement and CSC-solving for STG decomposition (2007)

by M Schäfer, W Vogler
Venue:Theoret. Comp. Sc