Marianne Brown Geoff Sutcliffe PTTP+GLiDeS: Guiding Linear Deductions with Semantics. 244-254 1999 conf/ausai/1999 Australian Joint Conference on Artificial Intelligence db/conf/ausai/ausai1999.html#BrownS99 http://dx.doi.org/10.1007/3-540-46695-9_21