Had to go digging . . . Kenneth Haase did a Phd (1990) where he builds an exploratory system called Cyrano and does a substantial review/analysis of AM (& Eurisko)

https://dspace.mit.edu/handle/1721.1/14257?show=full

It's quite interesting.