Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming

Nirad Sharma, Robert M. Colomb. Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. Journal of Logic and Algebraic Programming, 37(1-3):255-283, 1998.

Abstract

Abstract is missing.