Strategies in Rigid-Variable Methods

Andrei Voronkov. Strategies in Rigid-Variable Methods. In IJCAI (1). pages 114-121, 1997.

Abstract

Abstract is missing.