A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Logical Methods in Computer Science, 2023)