Strong Completeness of a Lazy Conditional Narrowing Calculus (1997)

by Mohamed Hamada , Aart Middeldorp
Citations:8 - 4 self