Hang Shi, Baoshan Wang, Meihua Wu. 逻辑推理机制中的分配律 (Distributive Law in Deduction Mechanism of Logic). 计算机科学, 43(Z6):21-24, 2016. [doi]
@article{ShiWW16,
title = {逻辑推理机制中的分配律 (Distributive Law in Deduction Mechanism of Logic)},
author = {Hang Shi and Baoshan Wang and Meihua Wu},
year = {2016},
url = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2016.6A.003},
researchr = {https://researchr.org/publication/ShiWW16},
cites = {0},
citedby = {0},
journal = {计算机科学},
volume = {43},
number = {Z6},
pages = {21-24},
}