Proof Search and Counter Model of Positive Minimal Predicate Logic. - Tao Xue; Qichao Xuan (FICS, 2008)