„Bei der Propagierung eines zusammen mit dem Store inkonsistenten Constraints erhalten wir einen verklemmten ''Endzustand.“''<ref>Petra Hofstedt, Armin Wolf: ''Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen.'' Springer-Verlag, Berlin/Heidelberg 2007, ISBN 978-3-540-23184-4, S. 152. [http://books.google.de/books?id=HbKfYglkAF8C&pg=PA152 Online-Version]</ref>
''[[Informatik]]:'' speziell ausgezeichneter Zustand eines Automaten, bei dessen Erreichen nach Lesen einer Eingabe diese akzeptiert wird