Slater Election Solving Method Based on Answer Set Programming
LAI He-lang
Computer and Modernization . 2014, (12): 6 -10+14 .  DOI: 10.3969/j.issn.1006-2475.2014.12.002