Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Save this search Download search results Subscribe to news feed Your filters: cql: author="Li, Yingfang" or (type any "bookEditor issueEditor" and editor="Li, Yingfang") Add to list Conference Paper P1 α-Satisfiability and α-lock resolution for a lattice-valued logic LP(X) Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez and Da Ruan (UGent) (2010) Lecture Notes in Artificial Intelligence. In Lecture Notes in Artificial Intelligence 6077. p.320-327