Hsiang Jieh

On the representation of dynamic search spaces in theorem proving

Bonacina Maria Paola, Hsiang Jieh, 1996 .

Incompleteness of the RUE/NRF inference systems

Bonacina Maria Paola, Hsiang Jieh, 1992 .

On the notion of complexity of search in theorem proving

Maria Paola Bonacina, Hsiang Jieh, 1997 .