Foteini Grivokostopoulou, Ioannis Hatzilygeroudis, Isidoros Perikos. Teaching assistance and automatic difficulty estimation in converting first order logic to clause form. Artif. Intell. Rev., 42(3):347-367, 2014. [doi]
@article{GrivokostopoulouHP14,
title = {Teaching assistance and automatic difficulty estimation in converting first order logic to clause form},
author = {Foteini Grivokostopoulou and Ioannis Hatzilygeroudis and Isidoros Perikos},
year = {2014},
doi = {10.1007/s10462-013-9417-8},
url = {http://dx.doi.org/10.1007/s10462-013-9417-8},
researchr = {https://researchr.org/publication/GrivokostopoulouHP14},
cites = {0},
citedby = {0},
journal = {Artif. Intell. Rev.},
volume = {42},
number = {3},
pages = {347-367},
}