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.
No references recorded for this publication.
No citations of this publication recorded.