Completeness Results for Basic Narrowing (1994)

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