Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.

Marc-Michel Corsini, Antoine Rauzy

Browse the full ICLP paper archive.