Eliminating the substitution axiom from UNITY logic
Keyword(s):
1993 ◽
Vol 48
(4)
◽
pp. 171-176
◽
Keyword(s):