Type inferencing for polymorphic order sorted logic programs - Beierle, Christoph 1954- (Informatik-Berichte, 1995)