.

Published in: Theory Pract. Log. Program. (2009)