@Article{KHG12,
 author = {E. Komendantskaya and J. Heras and G. Grov},
 title = {Machine Learning in Proof General: interfacing interfaces},
  year = {2012},
}


@Article{HK13,
 author = {J. Heras and E. Komendantskaya},
 title = {ML4PG Case studies},
  year = {2013},
}