Identification of all Steady States in Large Networks by Logical Analysis - Devloo, Vincent; Hansen, Pierre; Labbé, Martine (Groupe d’études et de recherche en analyse des décisions, 2002)