X. Wu. Hybrid interpretation of induction results. In IFIP World Conference on IT Tools. 1996.
@inproceedings{Wu96:5,
title = {Hybrid interpretation of induction results},
author = {X. Wu},
year = {1996},
researchr = {http://researchr.org/publication/Wu96%3A5},
cites = {0},
citedby = {0},
booktitle = {IFIP World Conference on IT Tools},
}