1. Lecture Notes in Computer Science;L. Aceto,2003
2. de Givry, S., et al.: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques. In: ICLP-05 workshop on Constraint Based Methods for Bioinformatics, Sitges, Spain (2005)
3. Lange, K., Goradia, T.: An algorithm for automatic genotype elimination. American Journal of Human Genetics 40(3), 250–256 (1987)
4. Manolios, P., Oms, M.G., Valls, S.O.: PCS: Pedigree Checking with SAT (2007), Available from http://www.cc.gatech.edu/~manolios/pcs/
5. Manolios, P., Srinivasan, S.K., Vroon, D.: Automatic memory reductions for RTL-level verification. In: ACM-IEEE International Conference on Computer Aided Design (ICCAD 2006) (November 2006)