Published 2000
| Version v1
Publication
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
- Creators
- GIUNCHIGLIA, ENRICO
- TACCHELLA, ARMANDO
Additional details
- URL
- http://hdl.handle.net/11567/214353
- URN
- urn:oai:iris.unige.it:11567/214353
- Origin repository
- UNIGE