TY  - RPRT
TI  - On Finding a First-Order Sentence Consistent with a Sample of Strings
AU  - Thiago Alves Rocha
AU  - Ana Teresa Martins
AU  - Francicleber Martins Ferreira
PY  - 2018
DO  - 10.4204/eptcs.277.16
UR  - https://arxiv.org/abs/1809.03106
ID  - 1809.03106
ER  -