@article{LP13, author = {Y. Li and J. Pang}, title = {An inductive approach to strand spaces}, journal = {Formal Aspects of Computing}, year = {2013}, volume = {25}, number = {4}, pages = {465-501}, url = {http://satoss.uni.lu/jun/papers/FAC13.pdf} }