Computer Sciences Dept.

A Completeness Result for Linked Resolution

Kenneth Kunen
1991

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home