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

by David Gudeman , Koenraad De Bosschere, Saumya K. Debray
Venue:PROC. JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, WASHINGTON DC