@ARTICLE {21427,
author={C. Caleiro and A. Mordido },
doi={},
journal={Mathematical Structures in Computer Science},
title={Probabilistic logic over equations and domain restrictions},
year={2017},
month={December},
volume={0},
number={0},
pages={0-0},
ISSN={0960-1295}
}