DMCA

Loop Formulas for Logic Programs with Arbitrary Constraint Atoms

by Jia-huai You , Guohua Liu
Citations:7 - 3 self