Není to článek, ale doktorandská práce jednoho holanďana, konkrétně toto: http://www.cs.unimaas.nl/~uiterwijk/AllisPhD.htm
Odkaz na stažení již nefunguje, ale našel jsem to tady: http://fragrieu.free.fr/SearchingForSolutions.pdf
Kdyby snad byl nějaký problém, mohu to případně zaslat mailem, snad bych to na disku ještě našel.