publication venue for Applying integer programming to AI planning 2000 The Process Interchange Format and Framework 1998 Embedding critics in design environments 1993