Tie-Cheng Wang. Designing Examples for Semantically Guided Hierarchical Deduction. In IJCAI. pages 1201-1207, 1985.
@inproceedings{Wang85,
title = {Designing Examples for Semantically Guided Hierarchical Deduction},
author = {Tie-Cheng Wang},
year = {1985},
researchr = {https://researchr.org/publication/Wang85},
cites = {0},
citedby = {0},
pages = {1201-1207},
booktitle = {IJCAI},
}