LinearLogic

method ID: linearlogic

Outgoing Relationships

Relationship Target Entity Type Actions
uses DeductionMethod method View