James Heather, Steve Schneider. A decision procedure for the existence of a rank function. Journal of Computer Security, 13(2):317-344, 2005.
@article{HeatherS05, title = {A decision procedure for the existence of a rank function}, author = {James Heather and Steve Schneider}, year = {2005}, researchr = {https://researchr.org/publication/HeatherS05}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {13}, number = {2}, pages = {317-344}, }