TY  - RPRT
TI  - Learning Definite Horn Formulas from Closure Queries
AU  - Marta Arias
AU  - José L. Balcázar
AU  - Cristina Tîrnăucă
PY  - 2015
UR  - https://arxiv.org/abs/1503.09025
ID  - 1503.09025
ER  -