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

by D Gudeman, K De Bosschere, S K Debray
Venue:Proc. Joint International Conference and Symposium on Logic Programming, Washington DC