An nH-Prolog Implementation.

Bruce T. Smith, Donald W. Loveland

Browse the full CADE paper archive.