Nowak, M.; Rydzewski, P. On a Generalized Inference Operation. FPhil 1990, 105-110.