A symbolic semantics for abstract model checking
scientific article; zbMATH DE number 1563576