Adolfo Gustavo Serra Seca Neto. A Multi-Strategy Tableau Prover. PhD thesis, University of São Paulo, Brazil, 2007. [doi]
@phdthesis{ndltd-2973,
title = {A Multi-Strategy Tableau Prover},
author = {Adolfo Gustavo Serra Seca Neto},
year = {2007},
url = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_USP:oai:teses.usp.br:tde-04052007-175943},
note = {ndltd.org (oai:agregador.ibict.br.BDTD_USP:oai:teses.usp.br:tde-04052007-175943)},
researchr = {https://researchr.org/publication/ndltd-2973},
cites = {0},
citedby = {0},
school = {University of São Paulo, Brazil},
}