> KBSS
> STILL
> IDA
> AIC
Servít, M., Zamazal, J.
SERVÍT, M. and J. ZAMAZAL. Decomposition and Reduction: General Problem-Solving Paradigms. Journal on VLSI Design. 1995, 3(3-4), 359-371.