ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM (2009)

by Clemens Grabmayer , Joop Leo , Vincent Van Oostrom , Albert Visser