Position Paper: 
Proof Search without Backtracking using Instance Streams

Martin Giese

The Instance Stream approach for automated theorem proving without
backtracking in free-variable tableaux is briefly presented.