Ron Rymon Search through Systematic Set Enumeration. 539-550 1992 KR db/conf/kr/kr92.html#Rymon92