John A. Darringer Daniel Brand John V. Gerbi William H. Joyner Jr. Louise Trevillyan LSS: A system for production logic synthesis. 157-166 2000 44 IBM Journal of Research and Development 1 http://www.research.ibm.com/journal/rd/441/darringer.pdf db/journals/ibmrd/ibmrd44.html#DarringerBGJT00