Assertion list for term "used to implement various illustrative logics".
Results from Ascent++: 1
hardware → ReceivesAction → used to implement various illustrative logics 0.36