[Tsapara and Turán. "Learning Atomic Formulas with Prescribed Properties." Annual Conference on Computational Learning Theory, 1998.](https://mlanthology.org/colt/1998/tsapara1998colt-learning/) doi:10.1145/279943.279978
@inproceedings{tsapara1998colt-learning,
title = {{Learning Atomic Formulas with Prescribed Properties}},
author = {Tsapara, Irene and Turán, György},
booktitle = {Annual Conference on Computational Learning Theory},
year = {1998},
pages = {166-174},
doi = {10.1145/279943.279978},
url = {https://mlanthology.org/colt/1998/tsapara1998colt-learning/}
}