Source: wikibot/computation-tree-logic

= Computation tree logic
{wiki=Computation_tree_logic}