Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report).

Oded Maler Amir Pnueli Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report). 161-170 1989 conf/aii/1989 AII db/conf/aii/aii89.html#MalerP89