This is a talk given by George Giorgidze at 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010) in Madrid. The talk is based on the joint work with Henrik Nilsson.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…