Paper  bibtex   

@ARTICLE{Armando199828,
author={Armando, A., Melis, E., Ranise, S.},
title={Constraint solving in logic programming and in automated deduction: A comparison},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={1998},
volume={1480 LNAI},
pages={28-38},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-79956106502&partnerID=40&md5=a8cafe1644841af1da1ca482fc07cf20},
document_type={Conference Paper},
source={Scopus},
}