Loop Checking and the Wll-Founded Semantics.

Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Strk

Browse the full LPNMR paper archive.