Ofer Arieli, Anna Zamansky. Simplified forms of computerized reasoning with distance semantics. J. Applied Logic, 9(1):1-22, 2011. [doi]
@article{ArieliZ11-0, title = {Simplified forms of computerized reasoning with distance semantics}, author = {Ofer Arieli and Anna Zamansky}, year = {2011}, doi = {10.1016/j.jal.2010.07.001}, url = {http://dx.doi.org/10.1016/j.jal.2010.07.001}, tags = {semantics}, researchr = {https://researchr.org/publication/ArieliZ11-0}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {9}, number = {1}, pages = {1-22}, }