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

DOI: 10.1016/j.entcs.2005.06.039

Citation metrics

8Scopus