Alexander V. Lyaletski. Computer-Oriented Sequent Inferring without Preliminary Skolemization. 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 373-382, Springer, 2003.
Abstract is missing.