Completeness Results for Basic Narrowing, Applicable Algebra (1994)

by A Middeldorp, E Hamoen
Venue:in Engineering, Communication and Computing 5