A declarative semantics for CLP with qualification and proximity

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz. A declarative semantics for CLP with qualification and proximity. TPLP, 10(4-6):627-642, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: