# of records = 7
homepages/98/3534 journals/tits/CurioEKTS00 journals/ivc/HandmannKTWS00 conf/dagm/HandmannLT99 conf/dagm/CurioEKTBBS99 conf/ki/HandmannLT99 conf/dagm/SeelenHKTW98
XML
