BibTex format
@inproceedings{Endriss:2004,
author = {Endriss, U and Mancarella, P and Sadri, F and Terreni, G and Toni, F},
pages = {680--684},
publisher = {Springer-Verlag},
title = {Abductive logic programming with CIFF: system description},
year = {2004}
}