@article{tp3235,
  title = {On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic},
  author = {Xingxing He and Jun Liu and Yang Xu and Luis Martinez and Da Ruan},
  year = {2012},
  journal = {LOGIC JOURNAL OF THE IGPL},
  volume = {20},
  pages = {579–588},
  doi = {10.1093/jigpal/jzr007},
  isbn = {1367-0751},
  keywords = {article},
}