@article{article, title = {{Internal axioms for domain semirings}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Desharnais J and Struth G}}, doi = {{10.1016/j.scico.2010.05.007}}, volume = {{76}}, journal = {{Science of Computer Programming}}, issue = {{3}}, pages = {{181-203}}, note = {{Accessed on 2025/05/28}}}