The mathematics of inheritance systems
Touretzky, David S.
London Pitman
1986
Artificial intelligence