Hi Ahmed:

we want the undergraduates to implement non-chronological
backtracking. Please can you provide a definition of superresolution
using transition rules in the style of the JACM paper.

They have seen algebraic specs. in OOD, so they should
be able to understand those transition rules.

-- Karl