## Recognizing Renamable Generalized Propositional Horn Formulas is NP-Complete (1995)

### Cached

### Download Links

- [www.kr.tuwien.ac.at]
- [www.kr.tuwien.ac.at]
- DBLP

### Other Repositories/Bibliography

by
Thomas Eiter
,
Pekka Kilpeläinen
,
Heikki Mannila

Venue: | Discrete Applied Mathematics |

Citations: | 4 - 0 self |