The automation of reasoning: An experimenter’s notebook with OTTER tutorial (1996)

by L Wos