Modal resolution in clausal form (1989)

by P Enjalbert, del Cerro, L F
Venue:Theor. Comput. Sci