@INPROCEEDINGS {13913,
author={F. Casal and J. Rasga},
doi={10.1007/978-3-642-45221-5_15},
booktitle={International Conf. on Logic for Programming, Artificial Intelligence and Reasoning - LPAR},
title={Revisiting the Equivalence of Shininess and Politeness},
year={2013},
month={December},
volume={8312},
pages={1-15} 
}