Jörg Würtz and
Tobias Müller. Constructive Disjunction Revisited. In
Günther Görz and
Steffen Hölldobler editors, KI-96: Advances in Artificial Intelligence. 20th Annual German Conference on Artificial Intelligence, September 17-19, (1137):377-386, Springer, Dresden, Germany, 1996. [Abstract] google [Annote]
