BibTex format
@article{Mancarella:2009:10.1017/S1471068409990093,
author = {Mancarella, P and Terreni, G and Sadri, F and Toni, F and Endriss, U},
doi = {10.1017/S1471068409990093},
journal = {THEORY AND PRACTICE OF LOGIC PROGRAMMING},
pages = {691--750},
title = {The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments},
url = {http://dx.doi.org/10.1017/S1471068409990093},
volume = {9},
year = {2009}
}