Ryuzo Hasegawa Model Generation Theorem Provers and Their Applications. 7 1995 ICLP db/conf/iclp/iclp95.html#Hasegawa95