Journal. Handbook of theoretical computer science (vol. A): algorithms and complexity [htcsvaac]