Modal resolution in clausal form (1989)

by P Enjalbert, Fariñas del Cerro, L
Venue:Theoretical Computer Science