Extension Rule for Non-Clausal Propositional Calculus. - Kazimir Majorinc (Fundam. Informaticae, 1997)