Generalized Horn Constraints and Tractable Inference on Type Hierarchies with Open Specification (2005)

by Stephen J. Hegner