Efficient Searching Using Partial Ordering

Information Processing Letters - Netherlands
doi 10.1016/0020-0190(81)90005-3