Andreas Jakoby,
Maciej Li{\'s}kiewicz,
and Rüdiger K. Reischuk
J. Algorithms 60(2):85–114, Aug 2006
Tech. report TR02-021, Electronic Colloq. on Computational Complexity, 2002
http://eccc.uni-trier.de/eccc-reports/2002/TR02-021/
Cites: