A linear format for resolution

Donald W. Loveland
2018
Computer Science Department
doi:10.1184/r1/6587537.v1 fatcat:lx5yi6w7qjal5ncvgcqotxvmdy