jc: An Ecient and Portable Sequential Implementation of Janus (1992)

by D Gudeman, K De Bosschere, S Debray
Venue:In Joint International Conference and Symposium on Logic Programming