Stefan Brüning Gerd Große Steffen Hölldobler Josef Schneeberger Ute Cornelia Sigmund Michael Thielscher Disjunction in Plan Generation by Equational Logic Programming. 18-26 1993 conf/puk/1993 PuK db/conf/puk/puk1993.html#BruningGHSST93