Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings | IEEE Conference Publication | IEEE Xplore