Fangzhen Lin, Yuting Zhao. ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. In AAAI/IAAI. pages 112, 2002.
@inproceedings{LinZ02, title = {ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers}, author = {Fangzhen Lin and Yuting Zhao}, year = {2002}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/LinZ02}, cites = {0}, citedby = {0}, pages = {112}, booktitle = {AAAI/IAAI}, }