Michael Ley The Term Retrieval Abstract Machine IWBS Report 202 1991 IBM Germany Science Center, Institute for Knowledge Based Systems