SLS-Resolution without Floundering

Wlodzimierz Drabent. SLS-Resolution without Floundering. In LPNMR. pages 82-98, 1993.

Abstract

Abstract is missing.