PTTP+GLiDeS: Guiding Linear Deductions with Semantics (1999)

by M Brown, G Sutclie
Venue:Advanced Topics in Arti Intelligence: 12th Australian Joint Conference on Arti Intelligence, AI'99, number 1747 in LNAI