Sequential implementation of parallel narrowing (1996)

by D Genius
Venue:In Proc. JICSLP'96 Workshop on Multi-Paradigm Logic Programming