A Linear Format for Resolution (1970)

by D W Loveland
Venue:In Proc. of the IRIA Symposium on Automatic Demonstration