Keselmanand Dickinson. Generic Model Abstraction from Examples. Institute of Electrical and Electronics Engineers (IEEE), 2005, doi:10.1109/tpami.2005.139.