Many-Sorted Logic in a Learning Theorem Prover.

Thomas Kolbe Sabine Glesner Many-Sorted Logic in a Learning Theorem Prover. 75-86 1997 conf/ki/1997 KI db/conf/ki/ki97.html#KolbeG97