Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser. On the Termination of Russell's Description Elimination Algorithm. Rew. Symb. Logic, 4(3):367-393, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.