Andrei Voronkov. Strategies in Rigid-Variable Methods. In IJCAI (1). pages 114-121, 1997.
@inproceedings{Voronkov97,
title = {Strategies in Rigid-Variable Methods},
author = {Andrei Voronkov},
year = {1997},
researchr = {https://researchr.org/publication/Voronkov97},
cites = {0},
citedby = {0},
pages = {114-121},
booktitle = {IJCAI (1)},
}