Determination of 3-ary α-resolution in LP(X).

Hairui Jia, Yang Xu, Yi Liu

Browse the full ISKE paper archive.