| P97-1071 | Gardent et al. , 1996 ) , is that a | HOU algorithm | can take world knowledge into |
| E97-1071 | Gardent et al. , 1996 ) , is that a | HOU algorithm | can take world knowledge into |
| J00-4002 | variables . We have to assume that the | HOU algorithm | has to be told what status particular |
| J00-4002 | candidates may be required , since the | HOU algorithm | requires the inputs to be fully |
| J00-4002 | free variable constraint -- the | HOU algorithm | will not produce any solutions |
| P96-1001 | a routine exercise to augment | HOU algorithms | that can cope with type variables |
