QD-Janus: a Sequential Implementation of Janus in Prolog

Saumya K. Debray. QD-Janus: a Sequential Implementation of Janus in Prolog. Software: Practice and Experience, 23(12):1337-1360, 1993.

Abstract

Abstract is missing.