KnowledgeBase » 
SEMINAR
» ID = 645
Uniform Inhabitants for the Non-Union Blueprints, continued
by Evan Moran
2004-2005
Transforming E -> (U Bi) into U (E -> Bi) when E is Non-Union
KnowledgeBase » SEMINAR
» ID = 645
Transforming E -> (U Bi) into U (E -> Bi) when E is Non-Union