Set-theoretic decidability results for modal theorem proving

D’Agostino G, Montanari A, Policriti A
1996-01-01
Cite
Type
Conference paper