Semantic inference by first order logic.

Zhuoyun Ao, Dale A. Lambert

Browse the full FUSION paper archive.