000 00342nam a2200133 4500
008 160616s 000 0
245 _aInstantiation theory
100 _aWilliams, J.G.
260 _aBerlin
260 _bSpringer-Verlag
440 _aLecture notes in artificial intelligence ; 00518
942 _cBK
_2BK7362
080 _a681 LNCS
999 _c7362
_d7362