On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. - J. Leubcke; Ulf Nilsson (ECOOP Workshops, 1999)