81
Voted
ICFP
2004
ACM
16 years 11 days ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...