External Links

    Journal: Fundamenta Informaticae

    Volume 109, Issue 1

    1 -- 25Pascal Caron, Marianne Flouret. From Glushkov WFAs to K-Expressions
    27 -- 81Oliver Kullmann. Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
    83 -- 119Oliver Kullmann. Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure
    runs on