Modal Tableau Calculus with Global Caching Via Resolution
Attributed to:
Overseas Visit in Automated Model Building
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Technical Report