PTTP+GLiDeS: Guiding Linear Deductions with Semantics. - Marianne Brown; Geoff Sutcliffe (Australian Joint Conference on Artificial Intelligence, 1999)

System Description: PTTP+GLiDes: Semantically Guided PTTP. - Marianne Brown; Geoff Sutcliffe (CADE, 2000)

Selecting Semantics for Use with Semantic Pruning of Linear Deductions. - Marianne Brown (Australian Joint Conference on Artificial Intelligence, 2002)