A novel basis for logic rewriting.

Winston Haaswijk, Mathias Soeken, Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Browse the full ASPDAC paper archive.