Heinzmann:1996 Heinzmann:1996:RTH Heinzmann:1997:IJCAI Heinzmann:1997:RRT Heinzmann:1997:FSR Heinzmann:1997:VIH Heinzmann:1998:FG Heinzmann:1998:DFP Heinzmann:1998:HFR Heinzmann:1998:SIS Heinzmann:1998:FSR Heinzmann:1998:VIH Jung:1998:ICRA Jung:1998:RPE Lueth:1996:DCCS Lueth:1995:DTM Lueth:1996:CEP Lueth:1996:DTM Zelinsky:1996:RHC Zelinsky:1996:HRI Zelinsky:1996:FG Zelinsky:1996:RTV Zelinsky:1998:AR Zelinsky:1998:NVI