@INPROCEEDINGS{MPB-JH:ICS1996:search, AUTHOR = "Maria Paola Bonacina and Jieh Hsiang", TITLE = "On the representation of dynamic search spaces in theorem proving", BOOKTITLE = "Proceedings of the International Computer Symposium", EDITOR = "Chu-Sing Yang", PUBLISHER = "National Sun-Yat Sen University", PAGES = "85--94", MONTH = "December", YEAR = 1996}