Journal article

Effective strictness analysis with HORN constraints

K Glynn, PJ Stuckey, M Sulzmann, P Cousot

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 2001