@article{1e0b3ec6be7547008ba2d31f7653be32,
title = "Alpha-Quasi-lock semantic resolution method based on lattice-valued logic",
keywords = "α-Quasi-lock semantic resolution method, resolution-based automated reasoning, general form of α-resolution principle, lattice-valued logic, lattice implication algebra",
author = "X.M. Zhong and Y. Xu and Jun Liu and Shuwei Chen",
year = "2014",
doi = "10.1080/18756891.2013.859868",
language = "English",
volume = "7",
pages = "418--431",
journal = "International Journal of Computational Intelligence Systems",
issn = "1875-6883",
publisher = "Taylor & Francis",
number = "3",
}