GLB types in LKB

Hi,

I was wondering if someone could help me find some detailed information of 
how the automatic glbtype creation works in LKB. Is there any publication 
or stuff I could look up apart from the comments in the source code. I 
would like to implement something similar in a prolog program.

Cheers,

Nicholas