QD-Janus: A Sequential Implementation of Janus in Prolog (1993)

by S K Debray
Venue:Software---Practice and Experience