Fabrizio Riguzzi. The distribution semantics for normal programs with function symbols. Int. J. Approx. Reasoning, 77:1-19, 2016. [doi]
@article{Riguzzi16, title = {The distribution semantics for normal programs with function symbols}, author = {Fabrizio Riguzzi}, year = {2016}, doi = {10.1016/j.ijar.2016.05.005}, url = {http://dx.doi.org/10.1016/j.ijar.2016.05.005}, researchr = {https://researchr.org/publication/Riguzzi16}, cites = {0}, citedby = {0}, journal = {Int. J. Approx. Reasoning}, volume = {77}, pages = {1-19}, }