@article{程晓云:14, author = {程晓云,辛小龙}, title = {超相等代数的强超推理系统}, publisher = {《山东大学学报(理学版)》}, year = {2019}, journal = {《山东大学学报(理学版)》}, volume = {54}, number = {8}, eid = {14}, numpages = {5}, pages = {14}, keywords = {超相等代数;强超推理系统;生成的强超推理系统;(正)关联强超推理系统}, url = {http://lxbwk.njournal.sdu.edu.cn/CN/abstract/article_3124.shtml}, doi = {10.6040/j.issn.1671-9352.0.2018.587} }