Journal article

Automatic implication checking for CHR constraints

T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth

Electronic Notes in Theoretical Computer Science | Published : 2006

Citation metrics