TY - BOOK ID - 130332848 TI - Counterexamples to completeness results for basic narrowing AU - Middeldorp, Aart AU - Hamoen, E. PY - 1991 PB - Amsterdam: Centrum voor wiskunde en informatica, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:130332848 AB - ER -