Type inferencing for polymorphic order sorted logic programs - Beierle, Christoph 1954- (Fernuniv., Gesamthochsch., 1995)