Consequence-Finding Based on Ordered Linear Resolution.

Katsumi Inoue

Browse the full IJCAI paper archive.