%0 Conference Paper %1 conf/iske/HeXL15 %A He, Xingxing %A Xu, Yang %A Liu, Jun %B ISKE %D 2015 %I IEEE %K dblp %P 18-20 %T Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. %U http://dblp.uni-trier.de/db/conf/iske/iske2015.html#HeXL15 %@ 978-1-4673-9323-2

@inproceedings{conf/iske/HeXL15, added-at = {2018-11-02T00:00:00.000+0100}, author = {He, Xingxing and Xu, Yang and Liu, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2d7cba9d26df37978be25402a5e9a5e29/dblp}, booktitle = {ISKE}, crossref = {conf/iske/2015}, ee = {https://doi.org/10.1109/ISKE.2015.90}, interhash = {04d12e9c412c219a2c7238cb0f0101d5}, intrahash = {d7cba9d26df37978be25402a5e9a5e29}, isbn = {978-1-4673-9323-2}, keywords = {dblp}, pages = {18-20}, publisher = {IEEE}, timestamp = {2019-10-17T22:02:23.000+0200}, title = {Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/iske/iske2015.html#HeXL15}, year = 2015 }