LSS: A system for production logic synthesis | IBM Journals & Magazine | IEEE Xplore