Destructive Modal Resolution
Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/1.1.83
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1990
Authors
Publisher
Oxford University Press (OUP)
Available in full text
January 1, 1990
Oxford University Press (OUP)