Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
UVT: a unification-based tool for knowledge base verification | IEEE Expert | 8 | 1993 | |
UVT: a unification-based tool for knowledge base verification | 2004 | |||
UVT: a unification-based tool for knowledge base verification | 1990 | |||
10.1007/978-1-4613-8911-8 | 1989 | |||
Research Report | 2004 |