Using queries to identify mu-formulas

Authored By:	D. Angluin
Paper Title:	Using queries to identify mu-formulas

Publisher:	Yale University, YALE/DCS/RR-694
Publication Date:	1989