Michel Allemand Felix Nicoli Laurence Pierre Formal Verification of Hardware using LP and Comparison with Nqthm. 150-153 1994 conf/appinf/1994 Applied Informatics db/conf/appinf/appinf1994.html#AllemandNP94