Journal: Formal Asp. Comput.