Disambiguation evidence for CTL via surface form
"CTL"
Triples (3)
Triples where some other subject referred to this entity
as "CTL".
linked to:
branching-time temporal logic CTL*