Tomas Axling Seif Haridi A Tool for Developing Interactive Configuration Applications. 147-168 1996 26 J. Log. Program. 2 db/journals/jlp/jlp26.html#AxlingH96