Learning elementary formal systems with queries (2000)

by H Sakamoto, K Hirara, H Arimura