Memory-Based Logic Synthesis by Tsutomu Sasao