Consequence-Finding Based on Ordered Linear Resolution

Katsumi Inoue. Consequence-Finding Based on Ordered Linear Resolution. In IJCAI. pages 158-164, 1991.

Abstract

Abstract is missing.