article · 1999
Loop-Detection in Hyper-Tableaux by . . .
Frieder Stolzenburg
Cited by 0Abstract and details only
Abstract
The index has no abstract for this paper.
Cite this paper
Stolzenburg, F. (1999). Loop-Detection in Hyper-Tableaux by . . .
Stolzenburg, Frieder. “Loop-Detection in Hyper-Tableaux by . . .” 1999.
Stolzenburg, Frieder. 1999. “Loop-Detection in Hyper-Tableaux by . . .”
Stolzenburg, F. (1999) ‘Loop-Detection in Hyper-Tableaux by . . ’.
BibTeX
@article{stolzenburg1999loop,
title = {{Loop-Detection in Hyper-Tableaux by . . .}},
author = {Stolzenburg, Frieder},
year = {1999}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.