Computing R-contraction for Propositional Logic is Hard
- Type
- Retraction
- Notice date
- 5/6/2010 0:00
- Journal
- 2010 Second International Workshop on Education Technology and Computer Science
- Publisher
- IEEE: Institute of Electrical and Electronics Engineers
- Notice DOI
- 10.1109/etcs.2010.19
- Original paper DOI
- 10.1109/etcs.2010.19