Ingólfsdóttir, A.; Christensen, A. L.; Hansen, J. A.; Johnsen, J.; Knudsen, J.; Rasmussen, J. I. A Formalization of Linkage Analysis. BRICS 2002, 9.