Resolution games and non-liftable resolution orderings

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022263 ◽

1995 ◽

pp. 279-293 ◽

Author(s):

Hans de Nivelle

Download Full-text