Tristan Cazenave. Gradual Abstract Proof Search. ICGA Journal, 25(1):3-15, 2002.
@article{Cazenave02-0,
title = {Gradual Abstract Proof Search},
author = {Tristan Cazenave},
year = {2002},
tags = {search},
researchr = {https://researchr.org/publication/Cazenave02-0},
cites = {0},
citedby = {0},
journal = {ICGA Journal},
volume = {25},
number = {1},
pages = {3-15},
}