Ortrun Ibens. Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 13-17, AAAI Press, 2000.
Abstract is missing.