Williams, J.G.
Instantiation theory - Berlin Springer-Verlag - Lecture notes in artificial intelligence ; 00518 .
681 LNCS
Instantiation theory - Berlin Springer-Verlag - Lecture notes in artificial intelligence ; 00518 .
681 LNCS