Dana Angluin Negative Results for Equivalence Queries. 121-150 1990 5 Machine Learning db/journals/ml/ml5.html#Angluin90