Combining Path-Based and NodeBased Inference in SNePS (1981)

by R h Srihan