Jonathan Wayne Mills M. Gordon Beavers Charles A. Daffinger Lukasiewicz Logic Arrays. 4-10 1990 ISMVL db/conf/ismvl/ismvl1990.html#MillsBD90