Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic.

Xuhua Liu

Browse the full IJCAI paper archive.