@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}