Declarations.

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