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]

Abstract

Abstract is missing.