A reduction method for theorem proving based on the partial-instantiation technique

Authors: Yamamoto, Masahito; Ohuchi, Azuma

Journal: Decision Support Systems (1998)

DOI: 10.1016/s0167-9236(98)00044-x