Bernd Mahr Robert Tolksdorf Coordination and Logic Programming. 545-550 1993 GI Jahrestagung db/conf/gi/gi93.html#MahrT93