Bert Bredeweg Anders Bouwer Jelmer Jellema Dirk Bertels Floris Floris Linnebank Jochem Liem Garp3: a new workbench for qualitative reasoning and modelling. 183-184 2007 K-CAP http://doi.acm.org/10.1145/1298406.1298445 conf/kcap/2007 db/conf/kcap/kcap2007.html#BredewegBJBLL07