Bartlomiej Sniezynski. Proof Searching Algorithm for the Logic of Plausible Reasoning. In Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Krzysztof Trojanowski, editors, Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM 03 Conference held in Zakopane, Poland, June 2-5, 2003. Advances in Soft Computing, pages 393-398, Springer, 2003.
Abstract is missing.