Equational Logic Programming Actions, and Change. - Gerd Große; Steffen Hölldobler; Josef Schneeberger; Ute Cornelia Sigmund; Michael Thielscher (JICSLP, 1992)

Disjunction in Plan Generation by Equational Logic Programming. - Stefan Brüning; Gerd Große; Steffen Hölldobler; Josef Schneeberger; Ute Cornelia Sigmund; Michael Thielscher (PuK, 1993)

Disjunction In Resource-Oriented Deductive Planning. - Stefan Brüning; Steffen Hölldobler; Ute Cornelia Sigmund; Michael Thielscher; Josef Schneeberger (ILPS, 1993)

Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. - Jochen Pfalzgraf; Ute Cornelia Sigmund; Karel Stokkermans (AISMC, 1994)

Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. - Jochen Pfalzgraf; Ute Cornelia Sigmund; Karel Stokkermans (Log. J. IGPL, 1996)