ML Anthology

Liu, Guohua

1 publications

AAAI 2008 Loop Formulas for Logic Programs with Arbitrary Constraint Atoms Jia-Huai You, Guohua Liu