LINUS - A Link Instantion Prover with Unit Support

Reinhold Letz. LINUS - A Link Instantion Prover with Unit Support. Journal of Automated Reasoning, 18(2):205-210, 1997.

Abstract

Abstract is missing.