Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving.

Stephan Schulz, Felix Brandt

Browse the full FlAIRS paper archive.