%0 Journal Article %1 journals/jair/Walsh96 %A Walsh, Toby %D 1996 %J J. Artif. Intell. Res. %K dblp %P 209-235 %T A Divergence Critic for Inductive Proof. %U http://dblp.uni-trier.de/db/journals/jair/jair4.html#Walsh96 %V 4

@article{journals/jair/Walsh96, added-at = {2017-06-21T00:00:00.000+0200}, author = {Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2c1745da24fa5d1ee5d77c71fbd7933e6/dblp}, ee = {https://doi.org/10.1613/jair.275}, interhash = {d1c778b7e6d6c2b851522f75a8618678}, intrahash = {c1745da24fa5d1ee5d77c71fbd7933e6}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {209-235}, timestamp = {2017-06-22T11:39:31.000+0200}, title = {A Divergence Critic for Inductive Proof.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair4.html#Walsh96}, volume = 4, year = 1996 }