Constraint Logic Programming for Local and Symbolic Model-Checking. - Ulf Nilsson; Johan Lübcke (Computational Logic, 2000)