An automated system for symbolic approximate reasoning. - Hsing-Tai Chung (1994)

A resolution-based system for symbolic approximate reasoning. - Hsing-Tai Chung; Daniel G. Schwartz (Int. J. Approx. Reason., 1995)