Angluin Learning via Logic.

Simone Barlocco, Clemens Kupke

Browse the full LFCS paper archive.