BibTex format
@article{KOWALSKI:2016:10.1017/S1471068416000041,
author = {KOWALSKI, R and SADRI, F},
doi = {10.1017/S1471068416000041},
journal = {Theory and Practice of Logic Programming},
pages = {269--295},
title = {Programming in logic without logic programming},
url = {http://dx.doi.org/10.1017/S1471068416000041},
volume = {16},
year = {2016}
}