dibSIM: a parallel functional logic simulator allowing dynamic load balancing. - Klaus Hering; Jork Löser; Jens Markwardt (DATE, 2001)