@misc{indiciaefbe6f1dc5288, title = {An Assertion language for slicing Constraint Logic Languages}, author = {Moreno Falaschi and Carlos Olarte}, year = {2018}, url = {https://arxiv.org/abs/1808.04867}, note = {Source identifier: 1808.04867} }