conference_linear_small_withB_causal__elim.strategies 45 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2 3
Strategies:
  strategy for B(x1,p1): False