@Inproceedings\{InêsLynce_11_2008,
author = {Inês Lynce and Ana Sofia Graça and Joao Marques Silva and Arlindo L. Oliveira},
title = {Haplotype Inference with Boolean Constraint Solving: an Overview},
booktitle = {20th IEEE International Conference on Tools with Artificial Intelligence},
publisher = {IEEE},
year = {2008},
month = {November},
}