BibTex format
@inproceedings{Ma:2010,
author = {Ma, J and Broda, K and Russo, A and Lupu, E},
pages = {148--166},
publisher = {Springer},
title = {Distributed Abductive Reasoning with Constraints.},
url = {https://doi.org/10.1007/978-3-642-20715-0},
year = {2010}
}