DMCA

Deriving Quasi-Linear-Time Algorithms from Union-Find in CHR (Extended Abstract) (2006)

by Thom Frühwirth