Learnability of Relatively Quantified Generalized Formulas. Andrei Bulatov, Hubert Ming Chen and Victor Dalmau The 15th International Conference on Algorithmic Learning Theory (ALT) 2004.
.
[Edit]