External Links

    Journal: TPLP

    Volume 9, Issue 4

    415 -- 527Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández. On the cooperation of the constraint domains , ::::R::::, and ::::F:::: in CFLP
    529 -- 564Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
    runs on